[PDF] Top 20 Reasoning about Dynamic Epistemic Logic

... M ⊗ Q → M is the epistemic update of a proposition by a program. The update relation f A M (m ⊗ q) ≤ f A M (m) ⊗ f A Q (q) says that agents update their knowledge according to the way they perceive the proposition ... See full document

... Non-monotonic Reasoning (Kraus, Lehmann, and Magidor 1990), among ...of Dynamic Belief Revi- sion by the work of Baltag and Smets (Baltag and Smets 2008), Girard and Rott (2014), Liu (2011), and Souza et ... See full document

... agents’ reasoning about other predicting agents always reaches a fixed point and that making adoption dependent on this very fixed point captures the best response of agents trying to coordinate to the best ... See full document

... step reasoning process, first the upgrade, or private upgrade with e, secondly a private upgrade with all possible (non-trivial) ...wrong about one of those propositions than about ... See full document

... talk about knowing or not knowing one’s preferences, or re- gretting that the best scenario is not going to ...a dynamic version of the static epistemic preference language, where a mechanism of ... See full document

... of dynamic-epistemic ...update logic merges ideas from multi-agent epistemic logic and probabilistic update in a harmonious ...for reasoning about and with these updates, ... See full document

... the reasoning processes under- pinning knowledge; in particular, we use Dynamic Epistemic Logic (DEL) (Baltag & Renne, 2016; van Benthem, 2011; van Ditmarsch, van der Hoek, & Kooi, ... See full document

... Hybrid logic provides us with nice technical tools to ensure the definability of certain sets, but by themselves, these tools seem to lack any intuitive interpreta- ...hybrid logic can be seen as yet ... See full document

... of dynamic epistemic logic that avoids the problem of log- ical omniscience, which has plagued standard static logical ...of reasoning: dual-process the- ...of dynamic operators, one ... See full document

... 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

... particulars about the definition of surprise: namely that it has to be a completely belief-based phenomenon (you can be surprised with false information, and while holding false beliefs); (thus) the first conjunct ... See full document

... the epistemic model models the infor- mation states of a group of agents by connecting two worlds for some agent, if the agent can not distinguish between these worlds and the actual ... See full document

... the logic EAK, introduced in ...modal logic, the space of normal modal logic can be recon- structed by adding or removing structural rules in a suitable ...the dynamic and the epistemic ... See full document

... The logic developed in this thesis is a logic to reason about knowledge of agents in a multi-agent system where agents communicate and as a result their knowledge ...challenging epistemic ... See full document

... the dynamic interactions of observing agents with physical systems in operator-based Hilbert ...of dynamic logic and game semantics for linear logics are crossing over from computation to the ... See full document

... modern epistemic logic, one major strand in logical studies of ...information. Epistemic logic was proposed by Hintikka in philosophy in the 1960s, and independently by Aumann in economics in ... See full document

... a logic for the analysis of cryptographic protocols should ...to Epistemic Crypto Logic (ECL) by enriching both the syntax and the semantics in various ... See full document

... Abstract. We describe the planning problem within the framework of dynamic epistemic logic (DEL), considering the tree of sequences of events as the underlying structure. In general, the DEL planning ... 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

... the epistemic states of a set of agents at a certain point in a conversation in a precise and perspicuous way, capturing both the information that is available to each of the individual agents about the ... See full document