03B40 Combinatory logic and lambda-calculus [See also 68N18]

03B42 Logics of knowledge and belief (including belief change)

03B44 Temporal logic

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)

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

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