Decision procedures for quantified fragments of reflexive common knowledge logic

zbMATH Open1207.03020MaRDI QIDQ3080428FDOQ3080428

Authors: R. Pliuškevičius 

Publication date: 10 March 2011

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

Mathematics Subject Classification ID

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

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)