## Mathematics Subject Classification – MSC2010

General reference works (handbooks, dictionaries, bibliographies, etc.) 90

Instructional exposition (textbooks, tutorial papers, etc.) 1686

Research exposition (monographs, survey articles) 2452

Explicit machine computation and programs (not the theory of computation or programming) 173

Subsystems of classical logic (including intuitionistic logic) 1573

Logics of knowledge and belief (including belief change) 1989

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

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

Models with special properties (saturated, rigid, etc.) 566

Nonclassical models (Boolean-valued, sheaf, etc.) 416

Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17] 2753

Recursively (computably) enumerable sets and degrees 1714

Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55] 1376

Other classical set theory (including functions, relations, and set algebra) 1464

Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] 232

Other applications of nonstandard models (economics, physics, etc.) 190