(sigemb-info 336) Talk by Ana Sokolova, Thu 4 Dec

["Ichiro Hasuo" <ichiro@xxxxxxxxxxxxxxxxxxxx>]

Dear all,

Let me advertise a talk by our guest Ana Sokolova
(Uni. Salzburg) at RIMS, Kyoto Univ.
No registration necessary. See you there!

Best regards,
Ichiro Hasuo
http://www.kurims.kyoto-u.ac.jp/~cs/

======
Ana Sokolova (Uni. Salzburg, Austria)
Expressivity of modal logics for probabilistic systems
11.00 - 12.00, Thu 4 Dec 2008
CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; see
http://www.kurims.kyoto-u.ac.jp/~cs/lab.html for direction )

Abstract:
In this talk I will report on a joint work with Bart Jacobs on
examples of expressivity
of modal logics. We investigate expressivity of modal logics for transition
systems, multitransition systems, Markov chains, and Markov processes,
as coalgebras of the powerset, finitely supported multiset,
 finitely supported distribution, and measure functor, respectively.
Expressivity means that logically indistinguishable states, satisfying
the same formulas, are behaviourally indistinguishable too. The
investigation is based on the framework of dual adjunctions between
spaces and logics and focuses on a crucial injectivity property. The
approach is generic both in the choice of systems and modalities, and in
the choice of a ``base logic''. Most of these expressivity results are
already known, but the applicability of the uniform setting of dual
adjunctions to these particular examples is what constitutes the
contribution of this work.