03-XX - Mathematical logic and foundations

03Bxx - General logic

4	03B05	Classical propositional logic
5	03B10	Classical first-order logic
7	03B15	Higher-order logic and type theory
6	03B20	Subsystems of classical logic (including intuitionistic logic)
	03B22	Abstract deductive systems
3	03B25	Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]
9	03B30	Foundations of classical theories (including reverse mathematics) [See also 03F35]
6	03B35	Mechanization of proofs and logical operations [See also 68T15]
2	03B40	Combinatory logic and lambda-calculus [See also 68N18]
0	03B42	Logics of knowledge and belief (including belief change)
3	03B44	Temporal logic
11	03B45	Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}
3	03B47	Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see 03F52}
4	03B48	Probability and inductive logic [See also 60A05]
4	03B50	Many-valued logic
4	03B52	Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05]
2	03B53	Paraconsistent logics
	03B55	Intermediate logics
2	03B60	Other nonclassical logic
	03B62	Combined logics
7	03B65	Logic of natural languages [See also 68T50, 91F20]
5	03B70	Logic in computer science [See also 68-XX]
	03B80	Other applications of logic
	03B99	None of the above, but in this section