Epistemic Logic and Information Update

Baltag, Alexandru; Ditmarsch, Hans van; Moss, Lawrence S.

doi:10.1016/b978-0-444-51726-5.50015-7

Cited by 43 publications

(37 citation statements)

References 83 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, our previous work shows that DEL's inherently realistic stance can also be useful as a logical tool in other philosophical contexts, by e.g. applying it to older debates in epistemology about negative introspection and weak notions of "knowledge" (see [13,5]). The DEL approach has another advantage over other logical tools, in the sense that the above-mentioned inherent realism applies to "changes of state", and not only to states: this approach allows us to model "true dynamics" in a very specific (and realistic) sense.…”

Section: Introductionmentioning

confidence: 99%

A Dynamic-Logical Perspective on Quantum Behavior

Baltag

Smets

2008

Stud Logica

View full text Add to dashboard Cite

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the "test" operator from Dynamic Logic, the "announcement" operator from Dynamic Epistemic Logic and the "revision" operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of "logical dynamics" are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of "static" propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all informationgathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of "objectively imperfect information". (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.

show abstract

Section: Introductionmentioning

confidence: 99%

A Dynamic-Logical Perspective on Quantum Behavior

Baltag

Smets

2008

Stud Logica

View full text Add to dashboard Cite

show abstract

“…Unlike the rather standard approaches to modelling knowledge and information dynamics using relational semantics (see, e.g., [9,26,29,32] for a survey on this topic), our work acknowledges the observation based nature of these notions that demands richer, neighbourhoodlike structures. In this work, we propose a multi-agent topological semantics for knowledge and semi-private announcements in the style of subset space semantics equipped with neighbourhood functions.…”

Section: Introductionmentioning

confidence: 99%

Private Announcements on Topological Spaces

2017

View full text Add to dashboard Cite

Abstract.In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information ϕ, while all the other agents observe that group G is informed, but are uncertain whether the information provided is ϕ or ¬ϕ. This article follows up on our prior work (van Ditmarsch et al. in Proceedings of the 15th TARK. pp [95][96][97][98][99][100][101][102] 2015) where the dynamics were public events. We provide a complete axiomatization of our logic, and give two detailed examples of situations with agents learning information through semi-private announcements.

show abstract

“…The logic of public announcements is only one of many dynamic epistemic logics, for example, there are also logics for private announcements, logics combining factual and epistemic change, dynamic epistemic logics for belief revision, etc. A fair number of such extensions are presented in the monograph-type chapter [5]. Latest developments involve quantification over informative actions, as in [23,1].…”

Section: Dynamic Epistemic Logicmentioning

confidence: 99%

Reasoning About Permitted Announcements

Balbiani

Seban²

2011

J Philos Logic

View full text Add to dashboard Cite

We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden [22] to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza [17] with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

show abstract

Epistemic Logic and Information Update

Cited by 43 publications

References 83 publications

A Dynamic-Logical Perspective on Quantum Behavior

A Dynamic-Logical Perspective on Quantum Behavior

Private Announcements on Topological Spaces

Reasoning About Permitted Announcements

Contact Info

Product

Resources

About