Justified and Common Knowledge: Limited Conservativity

DOI10.1007/978-3-540-72734-7_1zbMath1132.03319OpenAlexW1588371531MaRDI QIDQ5434494

Evangelia Antonakos

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

zbMATH Keywords

common knowledgeconservativejustified knowledgeArtemov

Mathematics Subject Classification ID

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

Related Items (11)

Pairing Traditional and Generic Common Knowledge ⋮ Explicit Generic Common Knowledge ⋮ Two Ways to Common Knowledge ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ The Logic of Justification ⋮ Feasible operations on proofs: the logic of proofs for bounded arithmetic ⋮ The Proof Theory of Common Knowledge ⋮ Justified common knowledge ⋮ Propositional games with explicit strategies ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge

This page was built for publication: Justified and Common Knowledge: Limited Conservativity