 logic: classical |  logic: modal |  logic: propositional dynamic |  logic: second-order and higher-order |  model theory |  model theory: first-order |  reasoning: automated |  Tarski, Alfred: truth definitions |  type theory: Church’s type theory 