Dynamic Epistemic Temporal Logic

Renne, Bryan; Sack, Joshua; Yap, Audrey

doi:10.1007/978-3-642-04893-7_21

Cited by 23 publications

(12 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is the second level where dynamic epistemic events can enter our analysis. Such dynamic operations are not as wellstudied (though see Renne et al (2009);Icard et al (2010) for some first steps in this direction) and we leave this for future work.…”

Section: Discussionmentioning

confidence: 99%

Dynamic logics of knowledge and access

Hoshi

Pacuit

2010

Synthese

View full text Add to dashboard Cite

A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature on epistemic logic, there are a variety of accounts that make precise a notion of an agent's "limited access" (for example, Awareness Logics, Justification Logics, and Inference Logics). This paper interprets the agents' access set of formulas as a constraint on the agents' information gathering process limiting which formulas can be observed.

show abstract

Section: Discussionmentioning

confidence: 99%

Dynamic logics of knowledge and access

Hoshi

Pacuit

2010

Synthese

View full text Add to dashboard Cite

show abstract

“…They discuss the differences between players' a priori information (that they have prior to the actual play) and their empirical information (gained during the play). Finally, they present the work of Sack, Yap, Hoshi and Renne [159,178,179,185,186,188] on Temporal DEL (TDEL). Overall, the amount of material covered in this chapter is truly breathtaking, and amazingly this is done without sacrificing in any way the rigour and clarity of exposition.…”

Section: The Invited Contributions On Informational Dynamicsmentioning

confidence: 99%

Johan van Benthem on Logic and Information Dynamics

Baltag¹,

Smets²

2014

Outstanding Contributions to Logic

View full text Add to dashboard Cite

“…If a dynamic epistemic logic with (arbitrary) past operators were to exist..., then we could express directly that a non-counter will turn on the light unless he has done it before, such that a single atom suffices to model the entire riddle. Works reporting progress in this area are (Sack, 2007;Aucher et al, 2007;Renne et al, 2009).…”

Section: Logicmentioning

confidence: 99%

Verifying one hundred prisoners and a lightbulb

Ditmarsch

Eijck

2010

Journal of Applied Non-Classical Logics

View full text Add to dashboard Cite

ABSTRACT. This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the 'one hundred prisoners and a lightbulb' puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent's local states, and histories of actions, to actions). The paper consists of three parts. First, we present different versions of the puzzle, and their solutions. This includes a probabilistic version, and a version assuming synchronicity (the interval between prisoners' interrogations is known). The latter is very informative for the prisoners, and allows different protocols (with faster expected termination). Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we verify the basic protocol to solve the problem. Novel contributions in this paper are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety -we do not know of a case study that combines

show abstract

Dynamic Epistemic Temporal Logic

Cited by 23 publications

References 10 publications

Dynamic logics of knowledge and access

Dynamic logics of knowledge and access

Johan van Benthem on Logic and Information Dynamics

Verifying one hundred prisoners and a lightbulb

Contact Info

Product

Resources

About