03XX 


Mathematical logic and foundations 

03Bxx 

General logic 


03B05 
Classical propositional logic 


03B10 
Classical firstorder logic 


03B15 
Higherorder logic and type theory 


03B20 
Subsystems of classical logic (including intuitionistic logic) 


03B22 
Abstract deductive systems 


03B25 
Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 


03B30 
Foundations of classical theories (including reverse mathematics) [See also 03F35] 


03B35 
Mechanization of proofs and logical operations [See also 68T15] 


03B40 
Combinatory logic and lambdacalculus [See also 68N18] 


03B42 
Logic of knowledge and belief 


03B44 
Temporal logic 


03B45 
Modal logic {For knowledge and belief see 03B42; for temporal logic see 03B44; for provability logic see also 03F45} 


03B47 
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For prooftheoretic aspects see 03F52} 


03B48 
Probability and inductive logic [See also 60A05] 


03B50 
Manyvalued logic 


03B52 
Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05] 


03B53 
Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) 


03B55 
Intermediate logics 


03B60 
Other nonclassical logic 


03B65 
Logic of natural languages [See also 68T50, 91F20] 


03B70 
Logic in computer science [See also 68XX] 


03B80 
Other applications of logic 


03B99 
None of the above, but in this section 