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]