Justified and Common Knowledge: Limited Conservativity
From MaRDI portal
Publication:5434494
DOI10.1007/978-3-540-72734-7_1zbMath1132.03319MaRDI QIDQ5434494
Publication date: 4 January 2008
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_1
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
Related Items
Syntactic Cut-elimination for Common Knowledge, Pairing Traditional and Generic Common Knowledge, The logic of justified belief, explicit knowledge, and conclusive evidence, Propositional games with explicit strategies, Feasible operations on proofs: the logic of proofs for bounded arithmetic, Syntactic cut-elimination for common knowledge, Justified common knowledge, The Logic of Justification, Two Ways to Common Knowledge, The Proof Theory of Common Knowledge, Explicit Generic Common Knowledge