## Mathematics Subject Classification – MSC2010

Subsystems of classical logic (including intuitionistic logic) 1658

Logics of knowledge and belief (including belief change) 2126

Modal logic (including the logic of norms) [For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45] 7435

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [For proof-theoretic aspects see 03F52] 1204