Tableau-based decision procedures for logics of strategic ability in multiagent systems
From MaRDI portal
Publication:2946589
DOI10.1145/1614431.1614434zbMath1351.68266arXiv0803.2306OpenAlexW2139978539MaRDI QIDQ2946589
Dmitry Shkatov, Valentin F. Goranko
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0803.2306
Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (8)
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + ⋮ Ordered Resolution for Coalition Logic ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic ⋮ Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information ⋮ Alternating-time temporal logic ATL with finitely bounded semantics
This page was built for publication: Tableau-based decision procedures for logics of strategic ability in multiagent systems
