Deduction chains for common knowledge

DOI10.1016/J.JAL.2005.06.011zbMath1104.03009OpenAlexW2092883160MaRDI QIDQ2506830

Thomas Studer, Mathis Kretz

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)

Related Items (5)

Intuitionistic common knowledge or belief ⋮ The Proof Theory of Common Knowledge ⋮ Cut-free sequent systems for temporal logic ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge

Cites Work

• Results on the propositional \(\mu\)-calculus
• Bar induction and \(\omega\) model reflection
• Knowledge and common knowledge in a distributed environment
• Strictness of the Modal μ-Calculus Hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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