TATL: implementation of ATL tableau-based decision procedure This paper describes the implementation of a tableau-based decision procedure for the alternating-time temporal logic proposed by Goranko and Shkatov in 2009, as well as a set of representative formulas used for testing.
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- David, Amélie: TATL: implementation of ATL tableau-based decision procedure (2013)
- Goranko, Valentin; Shkatov, Dmitry: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic (2009)