Distributed knowledge
From MaRDI portal
Publication:3647273
DOI10.3166/jancl.17.255-273zbMath1186.03032MaRDI QIDQ3647273
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
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