Two ways to common knowledge

DOI10.1016/J.ENTCS.2010.04.007MaRDI QIDQ3185764zbMATH OpenOpenAlexFDO

Authors Samuel Bucheli, Roman Kuznets, Thomas Studer

Publication date 5 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.04.007

zbMATH Keywords

common knowledgejustification logicsproof theory

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• The proof theory of common knowledge
• Cut-free common knowledge
• scientific article; zbMATH DE number 2068679
• La connaissance commune en logique modale
• About cut elimination for logics of common knowledge

Cites work

• A Proof System for the Linear Time μ-Calculus
• About cut elimination for logics of common knowledge
• An automata theoretic decision procedure for the propositional mu- calculus
• Borel determinacy
• Explicit provability and constructive semantics
• Games for the -calculus
• Handbook of modal logic
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Justified and Common Knowledge: Limited Conservativity
• Justified common knowledge
• Local model checking in the modal mu-calculus
• On the proof theory of the modal mu-calculus
• Self-referential justifications in epistemic logic
• The logic of justification
• The logic of proofs, semantically

Cited in

(13)

• The coinductive formulation of common knowledge
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
• Deduction chains for common knowledge
• Mechanizing common knowledge logic using COQ
• The proof theory of common knowledge
• scientific article; zbMATH DE number 4154410 (Why is no real title available?)
• The logic of justified belief, explicit knowledge, and conclusive evidence
• scientific article; zbMATH DE number 2068679 (Why is no real title available?)
• Common knowledge logic in a higher order proof assistant
• Semirings of Evidence
• On structural proof theory of the modal logic \(\mathsf{K}^+\) extended with infinitary derivations
• A realization theorem for the modal logic of transitive closure \(\mathsf{K}^+\)
• Common knowledge does not have the Beth property

This page was built for publication: Two ways to common knowledge

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