Logic Formal Systems and Semantics

Overviews of Logic Systems and Semantics (models)

  • Propositional Logic
  • Modal Logic: Althetic and Deontic
  • First-Order Logic
  • First-Order Logic Meta-Theory.