Deduction chains for common knowledge

DOI10.1016/J.JAL.2005.06.011MaRDI QIDQ2506830zbMATH OpenOpenAlexFDO

Authors Mathis Kretz, Thomas Studer

Publication date 10 October 2006

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2005.06.011

zbMATH Keywords

deduction chainslogics of common knowledgeTait-style calculi

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• The proof theory of common knowledge
• Two ways to common knowledge
• About cut elimination for logics of common knowledge
• scientific article; zbMATH DE number 2068679
• Cut-free common knowledge

Cites work

• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 1215496 (Why is no real title available?)
• scientific article; zbMATH DE number 2068679 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3252193 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• Bar induction and \(\omega\) model reflection
• Knowledge and common knowledge in a distributed environment
• Results on the propositional \(\mu\)-calculus
• Strictness of the Modal μ-Calculus Hierarchy

Cited in

(5)

• Syntactic cut-elimination for common knowledge
• Cut-free sequent systems for temporal logic
• Intuitionistic common knowledge or belief
• Syntactic cut-elimination for common knowledge
• The proof theory of common knowledge

This page was built for publication: Deduction chains for common knowledge

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