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

Authors: Serenella Cerrito, Amélie David, Valentin 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

Recommendations

• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)
• scientific article; zbMATH DE number 6863862
• 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

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 (8)

• A Tableau for Bundled Strategies
• ATL* Satisfiability Is 2EXPTIME-Complete
• 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
• Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺

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)