Cut-free common knowledge

DOI10.1016/J.JAL.2006.02.003MaRDI QIDQ2475436zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger, Mathis Kretz, Thomas Studer

Publication date 11 March 2008

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

Full work available at URL https://boris.unibe.ch/26452/1/jks07.pdf

zbMATH Keywords

cut-free deductive systemsepistemic logicsproof theory

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Recommendations

• About cut elimination for logics of common knowledge
• Syntactic cut-elimination for common knowledge
• Syntactic cut-elimination for common knowledge
• The proof theory of common knowledge
• La connaissance commune en logique modale

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• About cut elimination for logics of common knowledge
• scientific article; zbMATH DE number 4154410 (Why is no real title available?)
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)

Cited in

(20)

• On the proof theory of the modal mu-calculus
• Syntactic cut-elimination for common knowledge
• Deduction chains for common knowledge
• Two complete finitary sequent calculi for reflexive common knowledge
• Justifications for common knowledge
• Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
• Two ways to common knowledge
• The proof theory of common knowledge
• Intuitionistic common knowledge or belief
• One-Pass Tableaux for Computation Tree Logic
• scientific article; zbMATH DE number 2068679 (Why is no real title available?)
• An on-the-fly tableau-based decision procedure for PDL-satisfiability
• Syntactic cut-elimination for common knowledge
• Geometric Rules in Infinitary Logic
• Pairing traditional and generic common knowledge
• Model existence in non-compact modal logic
• Cut-free sequent systems for temporal logic
• Canonical completeness of infinitary \(\mu \)
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• Common knowledge does not have the Beth property

This page was built for publication: Cut-free common knowledge

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