Personal tools
You are here: Home Events Abstract Archives 2001 Domain Specific Algorithmic Model Theory

Domain Specific Algorithmic Model Theory

Martin Otto University of Wales, Swansea 4pm, Friday 27 April 2001 Room 2511, JCMB, King's Buildings

Applications of logic and in particular of model theoretic methods are often governed by specific semantic constraints that are best treated as game induced invariance conditions. Important examples include bisimulation invariance, pebble-game invariance and guarded bisimulation invariance. Within some domain that is characterised by a certain game invariance one can examine model theoretic questions (expressive completeness, satisfiability, descriptive complexity, recursion mechanisms) with tools intimately related to the underlying games. This talk provides a survey of correponding results with emphasis on the comparative study of the guarded, modal and two-variable domains, and on the methodological transfer between modal and guarded logics.

Document Actions