A specialization of definitions in common knowledge logic

MaRDI QIDQ2791893zbMATH OpenFDO

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

Publication date 16 March 2016

Published in Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

common knowledge logicsequent calculustermination

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Termination of derivations in a fragment of transitive distributed knowledge logic
• Saturation method for reflexive common knowledge logic
• About cut elimination for logics of common knowledge
• Two complete finitary sequent calculi for reflexive common knowledge
• Loop-check elimination for non-transitive distributed knowledge logic

Cited in

(3)

• Loop-check elimination for non-transitive distributed knowledge logic
• Saturation method for reflexive common knowledge logic
• Termination of derivations in a fragment of transitive distributed knowledge logic

This page was built for publication: A specialization of definitions in common knowledge logic

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