BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/225/28-June-2002-ILLC-talks-Martin-Otto
DTSTAMP:20020620T000000
SUMMARY:ILLC talks, Martin Otto
ATTENDEE;ROLE=Speaker:Martin Otto (Swansea)
DTSTART:20020628T000000
DTEND:20020628T000000
LOCATION:P0.16, Euclides-building
DESCRIPTION:Abstract: Many model theoretic argume
nts for modal logics rely on bisimulation invarian
ce which can be used to prepare nice tree-like mod
els. The resulting tree model property of modal lo
gics plays a major part in the usefulness and good
algorithmic behaviour of modal logics. Tree model
s are in fact quite simply obtained as bisimilar u
nravellings of any given models. As bisimilar unra
vellings are typically infinite, however, they are
not suited to the context of finite model theory.
Instead, one needs other nice and manageable bisi
milar companion structures that can be kept finite
. In this talk I shall discuss such constructions
(and related open problems) primarily with applic
ations to semantic characterisation theorems. Othe
r applications, in particular also related to guar
ded logics, provide links with extension propertie
s for partial isomorphisms and the finite model pr
operty of guarded logics. At the methodological le
vel, these issues serve to illustrate the power of
logic games in the model theoretic study of seman
tic invariances that go hand in hand with correspo
nding model constructions and model transformation
s.
X-ALT-DESC;FMTTYPE=text/html:\n\n Abstract
:

\n Many model theoretic arguments for
modal logics rely on\nbisimulation invariance whi
ch can be used to prepare nice tree-like\nmodels.
The resulting tree model property of modal logics
plays a\nmajor part in the usefulness and good alg
orithmic behaviour of modal\nlogics. Tree models a
re in fact quite simply obtained as bisimilar\nunr
avellings of any given models. As bisimilar unrave
llings are\ntypically infinite, however, they are
not suited to the context\nof finite model theory.
Instead, one needs other nice and manageable\nbis
imilar companion structures that can be kept finit
e.

\n In this talk I shall discuss such
constructions (and related open\nproblems) primar
ily with applications to semantic characterisation
\ntheorems. Other applications, in particular also
related to guarded\nlogics, provide links with ex
tension properties for partial isomorphisms\nand t
he finite model property of guarded logics.\nAt th
e methodological level, these issues serve to illu
strate the power\nof logic games in the model theo
retic study of semantic invariances that\ngo hand
in hand with corresponding model constructions and
model\ntransformations.

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/225/28-June-2002-ILLC-talks-Martin-Otto
END:VEVENT
END:VCALENDAR