scientific article; zbMATH DE number 6863862

MaRDI QIDQ4636296zbMATH OpenFDO

Authors Steen Vester, Valentin Goranko

Publication date 23 April 2018

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)

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

Cited in

(2)

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