Show simple item record

dc.contributor.authorÅgotnes, Thomas
dc.contributor.authorWang, Yi N.
dc.date.accessioned2021-05-06T09:39:08Z
dc.date.available2021-05-06T09:39:08Z
dc.date.created2020-11-04T08:13:17Z
dc.date.issued2020
dc.PublishedLecture Notes in Computer Science (LNCS). 2020, 12061 3-21.
dc.identifier.issn0302-9743
dc.identifier.urihttps://hdl.handle.net/11250/2753886
dc.description.abstractWhile logical formalizations of group notions of knowledge such as common and distributed knowledge have received considerable attention in the literature, most approaches being based on modal logic, group notions of belief have received much less attention. In this paper we systematically study standard notions of group knowledge and belief under different assumptions about which properties knowledge and belief have. In particular, we map out (lack of) preservation of knowledge/belief properties against different standard definitions of group knowledge/belief. It turns out that what is called group belief most often is not actually belief, i.e., does not have the properties of belief. In fact, even what is called group knowledge is sometimes not actually knowledge either. For example, under the common assumption that belief has the KD45 properties, distributed belief is not actually belief (it does not satisfy the D axiom). In the literature there is no detailed completeness proof for axiomatizations of KD45 with distributed belief that we are aware of, and there has been some confusion regarding soundness of such axiomatizations related to the mentioned lack of preservation. In this paper we also present a detailed completeness proof for a sound axiomatization of KD45 with distributed belief.en_US
dc.language.isoengen_US
dc.publisherSpringeren_US
dc.titleGroup Beliefen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionacceptedVersionen_US
dc.rights.holderCopyright 2020 Springeren_US
cristin.ispublishedtrue
cristin.fulltextpostprint
cristin.qualitycode1
dc.identifier.doi10.1007/978-3-030-44638-3_1
dc.identifier.cristin1844748
dc.source.journalLecture Notes in Computer Science (LNCS)en_US
dc.source.4012061
dc.source.pagenumber3-21en_US
dc.identifier.citationLecture Notes in Computer Science (LNCS). 2020, 12061, 3-21en_US
dc.source.volume12061en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record