BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2002/newsitem/225/28-J
 une-2002-ILLC-talks-Martin-Otto
DTSTAMP:20020620T000000
SUMMARY:ILLC  talks, Martin Otto
ATTENDEE;ROLE=Speaker:Martin Otto (Swansea)
DTSTART;TZID=Europe/Amsterdam:20020628T000000
DTEND;TZID=Europe/Amsterdam: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      <p>Abstract
 :</p>\n      <p>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.</p>\n      <p>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.</p>\n    
URL:/NewsandEvents/Archives/2002/newsitem/225/28-J
 une-2002-ILLC-talks-Martin-Otto
END:VEVENT
END:VCALENDAR