Skip to Main content Skip to Navigation
Conference papers

Multi-Agent Only Knowing on Planet Kripke

Abstract : The idea of only knowing is a natural and intuitive notion to precisely capture the beliefs of a knowledge base. However, an extension to the many agent case, as would be needed in many applications , has been shown to be far from straightforward. For example, previous Kripke frame-based accounts appeal to proof-theoretic constructions like canonical models, while more recent works in the area abandoned Kripke semantics entirely. We propose a new account based on Moss' characteristic formulas, formulated for the usual Kripke semantics. This is shown to come with other benefits: the logic admits a group version of only knowing , and an operator for assessing the epistemic en-trenchment of what an agent or a group only knows is definable. Finally, the multi-agent only knowing operator is shown to be expressible with the cover modality of classical modal logic, which then allows us to obtain a completeness result for a fragment of the logic.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Friday, September 4, 2015 - 4:48:51 PM
Last modification on : Thursday, January 20, 2022 - 4:12:42 PM
Long-term archiving on: : Saturday, December 5, 2015 - 1:45:04 PM


Publisher files allowed on an open archive


  • HAL Id : hal-01193181, version 1


Guillaume Aucher, Vaishak Belle. Multi-Agent Only Knowing on Planet Kripke. International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨hal-01193181⟩



Les métriques sont temporairement indisponibles