Distributed knowledge

DOI10.3166/jancl.17.255-273zbMath1186.03032OpenAlexW4236167179MaRDI QIDQ3647273

Floris Roelofsen

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.255-273

zbMATH Keywords

expressive powerepistemic logicdistributed knowledgefull communication

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (20)

Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ О трудностях определения имплицитного знания группы ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Resolving distributed knowledge ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ The many faces of closure and introspection. An ineractive perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Epistemic Logic with Evidence and Relevant Alternatives ⋮ Distributed knowledge justification logics ⋮ Proof Theory for Distributed Knowledge ⋮ An Epistemic Logic with Hypotheses ⋮ Public Announcement Logic with Distributed Knowledge

Cites Work

• Dynamic epistemic logic
• Group knowledge is not always distributed (neither is it always implicit)
• Unnamed Item

This page was built for publication: Distributed knowledge