TATL

swMATH7522MaRDI QIDQ19549FDOQ19549

Author name not available (Why is that?)

Described by source

• TATL: Implementation of ATL Tableau-Based Decision Procedure
• Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux

Cited In (5)

• A resolution prover for coalition logic
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
• Ordered resolution for coalition logic
• Minimisation of \(\mathrm{ATL}^*\) models
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)

This page was built for software: TATL