Invited Talk: Johan van Benthem

Modal Logic and Fixed-Points: some New Perspectives

We will give a survey of some recent results on frame correspondence theory for modal axioms, and discuss their background in the (abstract) model theory of first-order fixed-point languages.

References

'Guards, Bounds, and Generalized Semantics', Journal of Logic, Language and Information 14 (2005), 263 - 279.
'Minimal Predicates, Fixed-Points, and Definability', Journal of Symbolic Logic 70:3 (2005), 696-712.
'Modal Frame Correspondences and Fixed-Points', Studia Logica 83:1 (2006), 133 - 155.