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
Abstract :
\nMany 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.
\nIn 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.
URL:/NewsandEvents/Archives/2002/newsitem/225/28-J une-2002-ILLC-talks-Martin-Otto END:VEVENT END:VCALENDAR