Show simple item record

dc.contributor.authorEngelhardt, Kai
dc.contributor.authorvan der Meyden, Ron
dc.contributor.authorSu, Kaile
dc.contributor.editorPhilippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
dc.date.accessioned2018-06-15T00:28:01Z
dc.date.available2018-06-15T00:28:01Z
dc.date.issued2002
dc.identifier.urihttp://hdl.handle.net/10072/139966
dc.description.abstractLocal propositions arise in the context of the semantics for logics of knowledge in multi-agent systems. A proposition is local to an agent when it depends only on that agent's local state. We consider a logic, LLP, that extends S5, the modal logic of necessity (in which the modality refers to truth at all worlds) by adding a quantifier ranging over the set of all propositions and, for each agent, a propositional quantifier ranging over the agent's local propositions. LLP is able to express a large variety of epistemic modalities, including knowledge, common knowledge and distributed knowledge. However, this expressiveness comes at a cost: the logic is equivalent to second order predicate logic when two independent agents are present [5], hence undecidable and not axiomatizable. This paper identifies a class of multi-agent S5 structures, hierarchical structures, in which the agents' information has the structure of a linear hierarchy. All systems with just a single agent are hierarchical. It is shown that LLP becomes decidable with respect to hierarchical systems. The main result of the paper is the completeness of an axiomatization for the hierarchical case.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherKing's College Publications
dc.publisher.placeLondon
dc.publisher.urihttp://www.aiml.net/conferences/aiml-2002/
dc.relation.ispartofconferencenameAdvances in Modal Logic 2002
dc.relation.ispartofconferencetitleAdvances in Modal Logic 2002
dc.relation.ispartofdatefrom2002-09-30
dc.relation.ispartofdateto2002-10-02
dc.relation.ispartoflocationToulouse , France
dc.subject.fieldofresearchcode280403
dc.titleModal Logics with a Linear Hierarchy of Local Propositional Quantifiers
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record