Advanced Topics in Computational Logic: Literature

Programming Systems

Teaching

Main page

Literature

Programme

Discussion board

Topics for presentations

Model Theory

• Hodges, Wilfrid
  A shorter model theory
  - Repr.. - Cambridge: Cambridge University Press, 2002

Extensionality and Higher-Order Logic

• Benzmüller, Christoph; Brown, Chad E.; Kohlhase, Michael
  Higher-Order Semantics and Extensionality
  Journal of Symbolic Logic. Volume 69, Number 4, Dec. 2004.

Modal Logic

• Blackburn, Patrick; de Rijke Maarten; Venema, Yde
  Modal Logic
  Cambridge University Press, 2001.
• Harel, David; Kozen, Dexter; Tiuryn, Jerzy
  Dynamic Logic
  The MIT Press, 2001

Completeness of Higher-order Logic

• Chad E. Brown and Gert Smolka
  Terminating Tableaux for the Basic Fragment of Simple Type Theory
  Tableaux 2009, Springer LNCS 5607
• Chad E. Brown and Gert Smolka
  Extended First-Order Logic
  TPHOLs 2009, Springer LNCS 5674
• Chad E. Brown and Gert Smolka Complete Cut-Free Tableaux for Equational Simple Type Theory
  Technical Report, Saarland University, 2009

Proof Theory

• Troelstra, Anne S.; Schwichtenberg, Helmut
  Basic Proof Theory (Second Edition)
  Cambridge University Press 2000. (Chapters 1-4)

Temporal Logic

• Baier, Christel; Katoen, Joost-Pieter
  Principles of Model Checking
  The MIT Press, 2007

Girard's Paradox

• Hurkens, Antonius J. C.
  A simplification of Girard's paradox.
  Typed Lambda Calculi and Applications, p. 266-278. 2006.

Finite Model Theory

• Libkin, Leonid:
  Elements of finite model theory.
  Springer, 2004
• Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Venema, Yde; Vardi, Moshe Y.; Weinstein, Scott
  Finite model theory and its applications
  Springer, 2007

On presentations

• How to present a paper in theoretical computer science, by Ian Parberry.