Publication:4955425
From MaRDI portal
zbMath0956.03022MaRDI QIDQ4955425
Wiebe van der Hoek, John-Jules Ch. Meyer
Publication date: 4 September 2000
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
Public announcement logic with distributed knowledge: expressivity, completeness and complexity, Reasoning about coalitional games, Relativized common knowledge for dynamic epistemic logic, A polynomial space construction of tree-like models for logics with local chains of modal connectives, Group knowledge is not always distributed (neither is it always implicit), Distributed knowledge justification logics, Public Announcement Logic with Distributed Knowledge, Proof Theory for Distributed Knowledge, Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic