Loop-check elimination for non-transitive distributed knowledge logic

zbMATH Open1344.03026MaRDI QIDQ2811593FDOQ2811593

Authors: Aida Pliuškevičienė 

Publication date: 10 June 2016

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

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

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)

Cited In (3)

• Termination of derivations in a fragment of transitive distributed knowledge logic
• A specialization of definitions in common knowledge logic
• Saturation method for reflexive common 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)