The Simple Case: Dynamic Epistemic Logic
DYNAMIC EPISTEMIC LOGIC
... Example 6.16 Action composition Given the epistemic state Letter, 1 where both Anne and Bill do not know p, and where p is true, first Anne reads the letter—this is the action model Read,[r] ...
303
Reasoning about Dynamic Epistemic Logic
... as dynamic and epistemic resources in situations of information ...consider epistemic action as dynamic resources , which are similar to the usual use-only-once resources of linear ...
10
Extending Probabilistic Dynamic Epistemic Logic
... to epistemic logic probability formulas of the form P i (ϕ) ≥ q for a rational number ...probabilistic epistemic model and x is a state in M) in the following ...
53
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
... S5 case it holds that if two adjacent worlds w 1 and w 2 of M satisfy M, w 1 | = ϕ and M, w 2 6| = ϕ then there must be some propositional variable r with the property that M, w 1 | = ♦ d(ϕ)+1 r∧ ♦ d(ϕ)+1 ...
14
PP 2011 10: The synchronicity of dynamic epistemic logic
... Representation theorems linking DEL and ETL were proposed for the first time in (van Benthem, 2001). Recently, van Benthem, Gerbrandy, Hoshi, and Pacuit 2009 gave a natural model-based translation from the framework of ...
15
PP 2011 37: An inquisitive dynamic epistemic logic
... 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 con- ...
19
A Succinct Language for Dynamic Epistemic Logic (long version)
... The precondition function defines whether a given event is executable or not. The postcondition updates the values of atomic propositions after executing an event e: the truth of p is assigned to the value post(e, p). ...
20
Epistemic Logic and the Problem of Epistemic Closure
... However, Dretske criticizes the principle of epistemic closure also in a sec- ond more explicit way, bringing some counterexamples to it. Perhaps the most famous one is the so-called “zebra case”. Imagine ...
14
PP 2010 14: Planning based on dynamic epistemic logic
... plan (i.e., that plan can be “knowingly” executed). Of course, the guard agent should only be able to access the last two assessments. For example, two potential plans would be P 1 = b t , trick and P 2 = n g , ambush. ...
15
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
... in dynamic epistemic logics have been stud- ied before, few works considered how well-known postulates from iterated belief revision theory can be characterised by means of belief bases and their ...
8
Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
... To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize the order of higher[r] ...
41
Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic
... The four announcements behave similar to those in public announcement logic, e.g. they have to be truthful, but we have two modifications: First, announcements are received only by the current listeners and ...
14
PP 2019 25: A dynamic epistemic logic for resource bounded agents
... Resource-Bounded Agents A NTHIA S OLAKI 1 Abstract: In this paper, we present a dynamic epistemic logic suitable for resource-bounded agents. Our setting is informed by empirical evidence on ...
16
MoL 2010 14: Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic
... on dynamic probabilistic epistemic logic that got me interested in this topic in the first ...doing logic than I ever could have in any regular ...
118
MoL 2010 18: The Surprise Examination Paradox in Dynamic Epistemic Logic
... announcement logic, dynamic epistemic logic, epistemic temporal ...obviously epistemic logic and the reason is that I consider it to be too well entrenched in both the ...
75
Epistemic Quantified Boolean Logic
... Nonetheless, the use of quantification makes EQBL strictly more expressive than the theory of general frames. Example 2 We revisit the example of [van Ditmarsch et al., 2012, Section 4.3], and consider a simple ...
7
Actions and Resources in Epistemic Logic
... of logic, called epistemic logic, has found applications in computer science and eco- nomics [65] since its inception by Hintikka [46] in the ...of epistemic logic, but at the same time ...
185
Epistemic Utility and the Normativity of Logic
... on logic-rationality bridge principles with doxastic antecedents con- cerns the argument due to MacFarlane (ms) that we should not be satisfied with ...the case of non-logical facts, the value of learning ...
31
MoL 2017 26: The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
... 4.4.2 The initial model Another thing to discuss is the initial plausibility order. The plausibility order of the world where e, a is true and the world where e, b is true is obtained by the background knowledge of the ...
74
PP 2015 22: Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks
... minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and ...an epistemic dimension and investigate how information about more distant ...
29