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

DOI10.1007/978-3-319-08587-6_21zbMATH Open1423.68410OpenAlexW3104288886MaRDI QIDQ3192199FDOQ3192199

Valentin Goranko, Serenella Cerrito, Amélie David

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

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

Cited In (6)

• A Tableau for Bundled Strategies
• Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
• TATL: Implementation of ATL Tableau-Based Decision Procedure
• Title not available (Why is that?)
• Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux
• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺

   Recommendations

• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺ 👍 👎
• Title not available (Why is that?) 👍 👎
• Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux 👍 👎
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic 👍 👎
• Complete axiomatization and decidability of alternating-time temporal logic 👍 👎
• Alternating-time temporal logic ATL with finitely bounded semantics 👍 👎
• A tableau construction for finite linear-time temporal logic 👍 👎
• A general tableau method for propositional interval temporal logics: theory and implementation 👍 👎

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

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