Deduction chains for common knowledge

DOI10.1016/J.JAL.2005.06.011zbMATH Open1104.03009OpenAlexW2092883160MaRDI QIDQ2506830FDOQ2506830

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

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

zbMATH Keywords

deduction chainslogics of common knowledgeTait-style calculi

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Title not available (Why is that?)
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bar induction and \(\omega\) model reflection
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strictness of the Modal μ-Calculus Hierarchy

Cited In (5)

• Syntactic Cut-elimination for Common Knowledge
• Cut-free sequent systems for temporal logic
• Syntactic cut-elimination for common knowledge
• Intuitionistic common knowledge or belief
• 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)