Exploring logical dynamics
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Independence: Logics and Concurrency
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On Definability in Dependence Logic
Journal of Logic, Language and Information
Model-theoretic and Computational Properties of Modal Dependence Logic
Journal of Logic and Computation
Complexity results for modal dependence logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Complexity of model checking for modal dependence logic
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Generalized Quantifiers in Dependence Logic
Journal of Logic, Language and Information
Studia Logica
| Hi-index | 0.00 |
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.