93 citations · 141 across the 18 of their papers we have counts for
1 paper · 2 filters
Serenella Cerrito, Amélie David, Valentin Goranko
We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the fu…