Guarded Logics and Finite Model Theory Issues

Martin Otto (Swansea)
12 December 2001

Print the abstract :

Guarded logics have been introduced as model theoretic intermediaries between modal logics and first-order logic. This talk focuses on some recent developments and open issues pertaining to the finite model theory of guarded logics. The results to be covered also make interesting links with combinatorial hypergraph theory and, among other model theoretic issues, with extension properties for partial automorphisms. Parts of this talk are based on joint work with Ian Hodkinson.

University of Leeds, Department of Pure Mathematics, Logic Seminar 2001