Cornell Math - MATH 788, Fall 2000

MATH 788 — Fall 2000
Topics in Applied Logic

Instructor: Sergei Artemov
Final Time: TR 11:40-12:55
  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