Decision procedures for quantified fragments of reflexive common knowledge logic

MaRDI QIDQ3080428zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 10 March 2011

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Recommendations

• Common knowledge and quantification
• First order common knowledge logics
• Two complete finitary sequent calculi for reflexive common knowledge
• scientific article; zbMATH DE number 1759387
• A guide to completeness and complexity for modal logics of knowledge and belief

This page was built for publication: Decision procedures for quantified fragments of reflexive common knowledge logic

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