Pages that link to "Item:Q3192199"
From MaRDI portal
The following pages link to Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (Q3192199):
Displaying 7 items.
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- TATL: Implementation of ATL Tableau-Based Decision Procedure (Q2851937) (← links)
- Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux (Q3454093) (← links)
- A Tableau for Bundled Strategies (Q3455759) (← links)
- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
- (Q4636296) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
