Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+

DOI10.1007/978-3-319-08587-6_21zbMath1423.68410OpenAlexW3104288886MaRDI QIDQ3192199

Serenella Cerrito, Amélie David, Valentin F. Goranko

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_21

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (4)

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺ ⋮ Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux ⋮ A Tableau for Bundled Strategies ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

This page was built for publication: Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+