Two complete finitary sequent calculi for reflexive common knowledge

MaRDI QIDQ2799622zbMATH OpenFDO

Authors Aurimas Paulius Girčys, R. Pliuškevičius

Publication date 13 April 2016

Published in Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A (Search for Journal in Brave)

zbMATH Keywords

common knowledge logicreflexive common knowledge logicsequent calculi

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
• Cut-free common knowledge
• Sequent calculi for temporal logics of common knowledge and belief
• The proof theory of common knowledge
• scientific article; zbMATH DE number 5177771

Cited in

(6)

• Substructural logics with a reflexive transitive closure modality
• A specialization of definitions in common knowledge logic
• Two Diamonds Are More Than One
• Decision procedures for quantified fragments of reflexive common knowledge logic
• Sequent calculi for temporal logics of common knowledge and belief
• Saturation method for reflexive common knowledge logic

This page was built for publication: Two complete finitary sequent calculi for reflexive common knowledge

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