The Expressive Power of Modal Dependence Logic

We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2014-06
Hauptverfasser:	Hella, Lauri, Luosto, Kerkko, Sano, Katsuhiko, Virtema, Jonni
Format:	Artikel
Sprache:	eng
Schlagworte:	Dependence Logic Logic programming Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!