Exemplaric Expressivity of Modal Logics

Exemplaric Expressivity of Modal Logics (2008)

by Bart Jacobs , Ana Sokolova

User correction supplied by mph

Datum	Value	Source
TITLE	Exemplaric Expressivity of Modal Logics	user correction
AUTHOR NAME	Bart Jacobs	user correction
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	user correction
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.	user correction
AUTHOR NAME	Ana Sokolova	user correction
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen	user correction
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.	user correction
ABSTRACT	This paper investigates 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. 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 the paper.	user correction
YEAR	2008	SVM HeaderParse 0.2
CITATIONS	30 found	ParsCit 1.0