Distributed knowledge

DOI10.3166/jancl.17.255-273zbMath1186.03032MaRDI 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 power; epistemic logic; distributed knowledge; full communication

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

Unnamed Item, Unnamed Item, О трудностях определения имплицитного знания группы, PRIORITY MERGE AND INTERSECTION MODALITIES, 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, Public announcement logic with distributed knowledge: expressivity, completeness and complexity, Resolving distributed knowledge, Second-order propositional modal logic: expressiveness and completeness results, The many faces of closure and introspection. An ineractive perspective, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge, Logics with group announcements and distributed knowledge: completeness and expressive power, Distributed knowledge justification logics, An Epistemic Logic with Hypotheses, Public Announcement Logic with Distributed Knowledge, Epistemic Logic with Evidence and Relevant Alternatives, Proof Theory for Distributed Knowledge

Cites Work

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