Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge

DOI10.1093/JIGPAL/JZS048zbMath1277.68254arXiv1201.5346OpenAlexW1996135096MaRDI QIDQ4925179

Dmitry Shkatov, Mai Ajspur, Valentin F. Goranko

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.5346

zbMATH Keywords

satisfiabilitytableaudecision proceduremulti-agent epistemic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Agent technology and artificial intelligence (68T42)

Related Items (3)

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Doxastic logic: a new approach ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic

This page was built for publication: Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge