dynamic epistemic
MoL 2017 26: The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
... the epistemic and social sides of gossip and proceeds by giving formal protocols that correspond to a number of differ- ent conversation ...use dynamic epistemic logic, which is able to model the ...
74
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
... and Dynamic Epistemic Logics that allows the use of the DEL framework to reason about classes of belief change ...of Dynamic Preference Logic (Souza, Moreira, and Vieira ...
8
PP 2010 14: Planning based on dynamic epistemic logic
... In § 2 we shall give a standard introduction to dynamic epistemic logic, following roughly the textbook [25]. At the end of the section, we stress that DEL is not a temporal logic and comment on possible ...
15
PP 2015 22: Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks
... a dynamic fixed point operator, which is atypical of dynamic epistemic ...The dynamic operator which is studied in the context of our ‘prediction update’, thus strictly adds expressive ...
29
MoL 2010 14: Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic
... will show that imposing this condition —in interaction with the usual truth precondition of public announcements— solves the problem, while not hurting the other properties of the framework (for example, it is preserved ...
118
MoL 2010 04: The Interrogative Model of Inquiry meets Dynamic Epistemic Logics
... a dynamic and epistemic process involving flow of ...the epistemic range of the agent, of receiving a partial or complete answer to a ...the dynamic logic of questions that we have developed ...
105
PP 2011 37: An inquisitive dynamic epistemic logic
... traditions a step further. From the viewpoint of del , the main benefit lies in the fact that inquisitiveness now does not only enter the picture at the level of speech acts, but already at the level of semantic content, ...
19
PP 2019 25: A dynamic epistemic logic for resource bounded agents
... 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, their (orderly) ...
16
Reasoning about Dynamic Epistemic Logic
... Dynamic Epistemic Logic (DEL) is a PDL-style logic [14] to reason about epistemic actions and updates in a multi-agent ...on epistemic programs, ...
10
MoL 2014 16: Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols
... In the third chapter we first discuss which expressive powers a logic for the analysis of cryptographic protocols should have. We then show how to extend GG to Epistemic Crypto Logic (ECL) by enriching both the ...
100
MoL 2010 18: The Surprise Examination Paradox in Dynamic Epistemic Logic
... In this section I will not be concerned with what ϕ stands for, or with what exactly is the sequence that I mentioned in the last paragraph, but only with ways of altering the structure of the sentence expressing ...
75
PP 2011 10: The synchronicity of dynamic epistemic logic
... direction, epistemic models are enriched into epistemic-plausibility models (Board, 2004; van Ditmarsch, 2005; Baltag and Smets, 2006; van Ben- them, ...their epistemic state has ...
15
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
... §1. Introduction. Two operators often added to a basic epistemic logic are common knowledge and public announcements, as in [10, 1] and many subsequent publications such as [7, 5, 3, 9, 2]. Public announcements ...
14
PP 2011 16: DEL planning and some tractable cases
... 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 prob- ...
13
PP 2009 44: Categorial versus Modal Information Theory
... with epistemic assertions about ...this epistemic formula, there comes a crucial stage where its true announcement produces knowledge, switching its truth ...of epistemic formulas at each step, by ...
10
PP 2011 26: Logic, Mathematics, and General Agency
... but dynamic-epistemic logic has not had anything substantial to say about this ‘know-how’ versus ...in dynamic logics of games [5] that also contain explicit strategies or plans of ...and ...
20
PP 2019 26: Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks
... Keywords: theory of mind, mental state attribution, false belief tasks, temporal model, dynamic epistemic logic.. An important feature of how people function in social scenarios is that [r] ...
14
PP 2006 21: Dynamic Update with Probabilities
... Our analysis so far identified three component probabilities that drive information update. But this still leaves out one more major issue, having to do with legitimate diversity of update rules. In the earliest ...
21
PP 2006 45: Dynamic logic of preference upgrade
... joint epistemic pref- erence logic (Section ...a dynamic version of the static epistemic preference language, where information update lives together with preference ...of ...
26
PP 2005 29: Dynamic Logic of Preference Upgrade
... a dynamic version of the static epistemic preference language, where a mechanism of information update lives together with one of preference ...of dynamic-epistemic logic with agents’ ...
32