MATH 788 — Fall 2000
Topics in Applied Logic

1. Logic and linguistics: Chomsky hierarchy, Lambek calculus.
   
2. Logic and computations: linear logic, constructive semantics and intuitionistic theories.
   
3. Logic and verification: modal, temporal and dynamic logics.
   
4. Proofs as programs: lambda-terms and types theories, Curry-Howard isomorphism, proof polynomials.
   
5. Logics of knowledge: epistemic modal logics, common knowledge, explicit modal logics, nonmonotonic reasoning

Last modified: April 7, 2003