The Guarded Fragment of First-Order Logic

Colin Hirsch

(University of Aachen, Germany)

An introduction to the guarded fragment (GF), some extensions and (un)decidability results are given. The GF is especially interesting as extension and generalization to various modal logics. It has been suggested that the embeddability of modal logics into the GF is the key to understanding the well-behavedness of modal logics (rather than e.g. the usual two-variable translation).
Tuesday 7th December 1999, 15:00
Seminar Room 322
Department of Computer Science