Justified and Common Knowledge: Limited Conservativity

DOI10.1007/978-3-540-72734-7_1MaRDI QIDQ5434494zbMATH OpenOpenAlexFDO

Authors 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

Artemovcommon knowledgeconservativejustified knowledge

Mathematics Subject Classification ID

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

Recommendations

• Justified common knowledge
• Justification logics, logics of knowledge, and conservativity
• La connaissance commune en logique modale
• The proof theory of common knowledge
• Justifications for common knowledge

Cited in

(11)

• 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
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Syntactic cut-elimination for common knowledge
• Pairing traditional and generic common knowledge
• Propositional games with explicit strategies
• Feasible operations on proofs: the logic of proofs for bounded arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434494)