Possible Worlds Semantics Based on Observation and Communication

In Hans van Ditmarsch & Gabriel Sandu, Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 339-362 (2018)
  Copy   BIBTEX

Abstract

We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a more compact and intuitive way than with Hintikka’s semantics. However, the semantics that one can find in the literature come with some counter-intuitive validities such as common knowledge of visibilities or the knowledge operator distributing over disjunctions. We propose a solution of each of these two issues and illustrate them with well-known toy examples of epistemic logic.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Group Knowledge in Interrogative Epistemology.S. Smets, R. Boddy & A. Baltag - 2018 - In Hans van Ditmarsch & Gabriel Sandu, Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 131-164.
A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1987 - Bulletin of the Section of Logic 16 (1):26-36.
A Truthmaker-based Epistemic Logic.Vita Saitta - 2024 - Journal of Philosophical Logic 53 (4):1067-1107.

Analytics

Added to PP
2019-01-28

Downloads
24 (#951,749)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

No references found.

Add more references