Syntactic cut-elimination for common knowledge

DOI10.1016/J.APAL.2009.01.014zbMATH Open1170.03007OpenAlexW4213095921MaRDI QIDQ1024553FDOQ1024553

Authors: Kai Brünnler, Thomas Studer 

Publication date: 17 June 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.01.014

Recommendations

• Syntactic cut-elimination for common knowledge
• Cut-free common knowledge
• Deep sequent systems for modal logic
• Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
• The proof theory of common knowledge

zbMATH Keywords

cut eliminationnested sequentsinfinitary sequent systemVeblen functionlogic of common belieflogic of common kowledgeproof-depth

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Title not available (Why is that?)
• Proof theory. An introduction
• Knowledge and common knowledge in a distributed environment
• About cut elimination for logics of common knowledge
• Cut-free common knowledge
• Deduction chains for common knowledge
• Deep sequent systems for modal logic
• Cut-free sequent calculi for some tense logics
• One-Pass Tableaux for Computation Tree Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Justified common knowledge
• Justified and Common Knowledge: Limited Conservativity
• A system of interaction and structure
• Title not available (Why is that?)
• Schlussweisen-Kalküle der Prädikatenlogik
• A systematic proof theory for several modal logics
• Title not available (Why is that?)
• Syntactic cut-elimination for common knowledge
• Title not available (Why is that?)

Cited In (12)

• Cut-free common knowledge
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Common knowledge does not have the Beth property
• Effective cut-elimination for a fragment of modal mu-calculus
• Syntactic cut-elimination for common knowledge
• Title not available (Why is that?)
• The proof theory of common knowledge
• Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
• Justifications for common knowledge
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• On the proof theory of infinitary modal logic
• Pairing traditional and generic common knowledge

This page was built for publication: Syntactic cut-elimination for common knowledge

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