Termination of derivations in a fragment of transitive distributed knowledge logic

MaRDI QIDQ3617019zbMATH OpenFDO

Authors Aida Pliuškevičienė, R. Pliuškevičius

Publication date 26 March 2009

zbMATH Keywords

backtrackingdeduction-based decision proceduredistributed knowledgelogic of knowledgeloop-checkPSPACE-complexitysafety and liveness properties of distributed systemssequent calculus

Mathematics Subject Classification ID

Distributed systems (68M14) Logic in artificial intelligence (68T27)

Recommendations

• Loop-check elimination for non-transitive distributed knowledge logic
• Loop-free verification of termination of derivation for a fragment of dynamic logic
• A specialization of definitions in common knowledge logic
• Proof Theory for Distributed Knowledge
• Decidability of logic of correlated knowledge

Cited in

(5)

• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
• A specialization of definitions in common knowledge logic
• Loop-check elimination for non-transitive distributed knowledge logic
• Loop-free verification of termination of derivation for a fragment of dynamic logic
• Decidability of logic of correlated knowledge

This page was built for publication: Termination of derivations in a fragment of transitive distributed knowledge logic

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