[PDF] Top 20 PP 2011 10: The synchronicity of dynamic epistemic logic

... Synchronicity. As demonstrated through the two translations, DEL can be interpreted as either sat- isfying Syn or NPTP. These are diametrically op- posed properties of a range of conceivable percep- tions of time. ... See full document

... general dynamic turn For the purpose of this paper, it is enough to see the general Dynamic Turn in logic at work ...the logic, including the recursion laws that specify how agents’ attitudes ... See full document

... Current dynamic epistemic logics are well up to extensions with informational actions, prefer- ences, and acts of decision making ...of logic of agency in this style – or for specific network ... See full document

... Some parts of a network structure may be more “dense” than others. Strongly connected groups of agents are more resilient to external influence. E.g., a tightly knit group may be hard to convert to a particular opinion ... See full document

... Multi-agency is tied together not just by social knowledge or beliefs, but also by dependent action. Therefore, logics of agency have close connections with game theory ([Shoham and Leyton-Brown, 2008], [Benthem, ... See full document

... [10] Jan Plaza, Logics of public communication, Proceedings of the fourth international symposium on methodologies for intelligent systems, poster session program (M.L. Em- rich, M.S. Phifer, M. Hadzikadic, and ... See full document

... use Dynamic Epistemic Logic (DEL) (Baltag & Renne, 2016; van Benthem, 2011; van Ditmarsch, van der Hoek, & Kooi, 2007) to keep track of the reasoning steps available to the agent, ... See full document

... Abstract. Current methods for solving games embody a form of “procedural rationality” that in- vites logical analysis in its own right. This paper is a brief case study of Backward Induction for extensive games, ... See full document

... into logic? One analysis makes BI a process of prior deliberation by players whose minds proceed in harmony, though they need not communicate in reality (van Benthem ...famous epistemic puzzle of the Muddy ... See full document

... The dynamic part of the language could then be simplified: instead of an assertion operator [!ϕ] and a separate question op- erator [?ϕ], we could have a single utterance operator [ϕ], where ϕ could be ... See full document

... to dynamic epistemic logic, following roughly the textbook ...temporal logic and comment on possible embeddings of DEL in temporal ...[28, 10] and give a formalization in terms of DEL ... See full document

... Proof. Let M = (W , R, V) be a Kripke model, ϕ a GML formula. We first com- pute T = i(M), which we can do in time polynomial in |M| by assumption. We proceed by computing the modification product M × T , which we can do ... See full document

... But modal lightweight logics can carry non-first-order fixed-point structure. Famously, the modal μ -calculus is decidable. And so is the guarded fixed-point logic LFP(GF). These logics present a challenge in terms ... See full document

... Liu (2011) has shown that preference models can be en- coded by syntactic structures known as P-graphs. Since pref- erence models have been used to model an agent’s belief state (Girard 2008; Girard and Rott ... See full document

... Finally, the dynamic update logic with assertions [A!]φ in Section 3 is itself a sort of structural calculus for logical dynamics. Why be even more general than that? What we have tried to find in this ... See full document

... ‘interrogative logic’, and the epistemological views behind ...semantics’. Logic of inquiry and logic of questions are related, but there are also differences in thrust: a logic of ‘issue ... See full document

... The positive effects of hybridization in propositional logic extend well to the first-order case. In fact, one could argue that the need for hybridization is felt much stronger in first-order modal logic. ... See full document

... Jan Heylen, Leon Horsten, and Chris Kelp. I also wish to thank my former Leu- ven colleagues Igor Douven, Sebastian Sequoiah-Grayson, Sylvia Wenmackers and David Etlin; I wish them much success at their new homebase in ... See full document

... Our epistemic awareness models suggest a natural and simple dynam- ics. Though the agent is not logically omniscient anymore, she can get new information by various acts, including observation and inference. But ... See full document

... stream logic forgotten them to focus on ...‘static’ epistemic logic with possible worlds semantics (Hintikka, 1962) and in AGM belief revision theory (Alchourr´ on et ...between logic and ... See full document