Course Readings

  1. Introduction to PL
  2. Sequent Calculus
  3. LK Primer
  4. FOL Natural Deduction
  5. FOL Natural Deduction
  6. Modal Logic
  7. Compositionality
  8. Tense and Aspect
  9. Verbs and Times, Vendler
  10. The Algebra of Events, Bach
  11. The Tense of Verbs, Reichenbach
  12. Temporal Reasoning
  13. Temporal Ontology and Temporal Reference, Moens and Steedman
  14. Towards a General Theory of Action and Time
  15. Introduction to Linear Logic
  16. Markov Logic Networks
  17. Dynamic Propositional Logic

Course Handouts

  1. Natural Deduction Rules for PL
  2. Natural Deduction Tips
  3. PL Equivalences
  4. Sequent Calculus
  5. Model Checking using Trees