TATL
From MaRDI portal
Software:19549
No author found.
Related Items (5)
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + ⋮ Ordered Resolution for Coalition Logic ⋮ Unnamed Item ⋮ Minimisation of \(\mathrm{ATL}^*\) models ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
This page was built for software: TATL
