Saturation method for reflexive common knowledge logic

MaRDI QIDQ3464010zbMATH OpenFDO

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

Publication date 20 January 2016

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)

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

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)