Loop-check elimination for non-transitive distributed knowledge logic

MaRDI QIDQ2811593zbMATH OpenFDO

Authors Aida Pliuškevičienė

Publication date 10 June 2016

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

zbMATH Keywords

sequent calculusdistributed knowledgeloop-checklogic of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• Termination of derivations in a fragment of transitive distributed knowledge logic
• A specialization of definitions in common knowledge logic
• Proof Theory for Distributed Knowledge
• Efficient loop-check for KD45 logic
• Efficient loop-check for backward proof search in some non-classical propositional logics

Cited in

(3)

• Saturation method for reflexive common knowledge logic
• A specialization of definitions in common knowledge logic
• Termination of derivations in a fragment of transitive distributed knowledge logic

This page was built for publication: Loop-check elimination for non-transitive distributed knowledge logic

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