Implement ATL*
The AMC subsumes ATL*, so we could also introduce syntactic sugar for ATL* syntax like we do for ATL syntax.
Details should be in Thm 6.1 https://www.cis.upenn.edu/~alur/Jacm02.pdf
The AMC subsumes ATL*, so we could also introduce syntactic sugar for ATL* syntax like we do for ATL syntax.
Details should be in Thm 6.1 https://www.cis.upenn.edu/~alur/Jacm02.pdf