The Dynamification of Modal Dependence Logic


Abstract
We examine the transitions between sets of possible worlds described by the compositional semantics of Modal Dependence Logic, and we use them as the basis for a dynamic version of this logic. We give a game theoretic semantics, a (compositional) transition semantics and a power game semantics for this new variant of modal Dependence Logic, and we prove their equivalence; and furthermore, we examine a few of the properties of this formalism and show that Modal Dependence Logic can be recovered from it by reasoning in terms of reachability. Then we show how we can generalize this approach to a very general formalism for reasoning about transformations between pointed Kripke models
Keywords Modal Logic  Dependence Logic  Dynamic semantics   Game Theoretic Semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-013-9175-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,405
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.

View all 14 references / Add more references

Citations of this work BETA

Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
The Expressive Power of Modal Dependence Logic.Lauri Hella, Kerkko Luosto, Katsuhiko Sano & Jonni Virtema - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 294-312.

Add more citations

Similar books and articles

Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Hybrid Logic Meets If Modal Logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.

Analytics

Added to PP index
2013-05-14

Total views
27 ( #344,208 of 2,286,201 )

Recent downloads (6 months)
4 ( #318,915 of 2,286,201 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature