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 4 items.
- 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)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
