Skip to Main content Skip to Navigation
Conference papers

A poor man's epistemic logic based on propositional assignment and higher-order observation

Abstract : We introduce a dynamic epistemic logic that is based on what an agent can observe, including joint observation and observation of what other agents observe. This generalizes van der Hoek, Wooldridge and colleague’s logics ECL-PC(PO) and LRC where it is common knowledge which propositional variables each agent observes. In our logic, facts of the world and their observability can both be modified by assignment programs. We show how epistemic operators can be interpreted in this framework and identify the conditions under which the principles of positive and negative introspection are valid. We also provide a sound and complete axiomatization and prove that the satisfiability problem is PSpace-complete. Finally, we show how public and private announcements can be expressed and illustrate the latter by the gossip spreading problem.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01592020
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, September 22, 2017 - 2:30:48 PM
Last modification on : Wednesday, June 1, 2022 - 4:30:09 AM
Long-term archiving on: : Saturday, December 23, 2017 - 1:21:52 PM

File

herzig_16855.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01592020, version 1
  • OATAO : 16855

Citation

Andreas Herzig, Emiliano Lorini, Faustine Maffre. A poor man's epistemic logic based on propositional assignment and higher-order observation. 5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168. ⟨hal-01592020⟩

Share

Metrics

Record views

73

Files downloads

179