Enqvist, Sebastian; Goranko, Valentin The temporal logic of coalitional goal assignments in concurrent multiplayer games. (English) Zbl 1505.03048 ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022). MSC: 03B44 03B70 68Q85 91A06 PDFBibTeX XMLCite \textit{S. Enqvist} and \textit{V. Goranko}, ACM Trans. Comput. Log. 23, No. 4, Article No. 21, 58 p. (2022; Zbl 1505.03048) Full Text: DOI arXiv
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Game-theoretic semantics for alternating-time temporal logic. (English) Zbl 1407.03030 ACM Trans. Comput. Log. 19, No. 3, Article No. 17, 38 p. (2018). MSC: 03B44 68T27 68T42 91A80 PDFBibTeX XMLCite \textit{V. Goranko} et al., ACM Trans. Comput. Log. 19, No. 3, Article No. 17, 38 p. (2018; Zbl 1407.03030) Full Text: DOI arXiv Link
Cerrito, Serenella; David, Amélie; Goranko, Valentin Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\). (English) Zbl 1367.68246 ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015). MSC: 68T15 03B44 68Q25 PDFBibTeX XMLCite \textit{S. Cerrito} et al., ACM Trans. Comput. Log. 17, No. 1, Article No. 4, 34 p. (2015; Zbl 1367.68246) Full Text: DOI arXiv
Goranko, Valentin; Shkatov, Dmitry Tableau-based decision procedures for logics of strategic ability in multiagent systems. (English) Zbl 1351.68266 ACM Trans. Comput. Log. 11, No. 1, Article No. 3, 51 p. (2009). MSC: 68T27 03B25 03B44 68T42 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{D. Shkatov}, ACM Trans. Comput. Log. 11, No. 1, Article No. 3, 51 p. (2009; Zbl 1351.68266) Full Text: DOI arXiv