Saturation method for reflexive common knowledge logic

zbMATH Open1330.03036MaRDI QIDQ3464010FDOQ3464010

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

Publication date: 20 January 2016

Recommendations

• Two complete finitary sequent calculi for reflexive common knowledge
• A specialization of definitions in common knowledge logic
• The proof theory of common knowledge
• Loop-check elimination for non-transitive distributed knowledge logic
• Mechanizing common knowledge logic using COQ

zbMATH Keywords

common knowledge logicreflexive common knowledge logicsaturation method

Mathematics Subject Classification ID

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

Cited In (1)

• A specialization of definitions in common knowledge logic

This page was built for publication: Saturation method for reflexive common knowledge logic

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