scientific article; zbMATH DE number 6863862

zbMATH Open1385.03013MaRDI QIDQ4636296FDOQ4636296

Authors: Steen Vester, Valentin Goranko 

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

Recommendations

• Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
• Complete axiomatization and decidability of alternating-time temporal logic
• Alternating-time temporal logic with finite-memory strategies
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)
• Decidable fragments of first-order temporal logics
• The decision problem for linear temporal logic
• Decision procedures and expressiveness in the temporal logic of branching time
• Alternating-time temporal logic with resource bounds
• Temporal constraint satisfaction problems in fixed-point logic
• scientific article; zbMATH DE number 1931665

zbMATH Keywords

complexitysatisfiabilitydecision proceduresalternating-time temporal logicsflat fragments

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cited In (2)

• Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)

This page was built for publication:

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