The following pages link to TATL (Q19549):
Displayed 5 items.
- Minimisation of \(\mathrm{ATL}^*\) models (Q1694465) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)
- (Q4994892) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)