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)

• Ordered Resolution for Coalition Logic
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
• Title not available (Why is that?)
• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺
• Minimisation of \(\mathrm{ATL}^*\) models

This page was built for software: TATL