{"type":"ScholarlyArticle","title":"Multi-Agent Only Knowing on Planet Kripke","authors":[{"name":"Guillaume Aucher","slug":"guillaume-aucher","given":"Guillaume","family":"Aucher","affiliation":""},{"name":"Vaishak Belle","slug":"vaishak-belle","given":"Vaishak","family":"Belle","affiliation":""}],"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 entrenchment 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.","doi":null,"url":"https://ijcai.org/proceedings/2015/384","pdf":"https://ijcai.org/proceedings/2015/0384.pdf","markdown":"https://ijcai.org/proceedings/2015/384.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/384","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":384,"pages":{"first":2713,"last":2718},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}