Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Alternating-time temporal logic ATL with finitely bounded semantics. (English) Zbl 1434.03067 Theor. Comput. Sci. 797, 129-155 (2019). MSC: 03B44 03B25 68Q17 68T27 PDFBibTeX XMLCite \textit{V. Goranko} et al., Theor. Comput. Sci. 797, 129--155 (2019; Zbl 1434.03067) Full Text: DOI
Goranko, Valentin; van Drimmelen, Govert Complete axiomatization and decidability of alternating-time temporal logic. (English) Zbl 1089.03013 Theor. Comput. Sci. 353, No. 1-3, 93-117 (2006). MSC: 03B44 68Q60 03B25 91A80 03D05 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{G. van Drimmelen}, Theor. Comput. Sci. 353, No. 1--3, 93--117 (2006; Zbl 1089.03013) Full Text: DOI
Goranko, Valentin The basic algebra of game equivalences. (English) Zbl 1038.03057 Stud. Log. 75, No. 2, 221-238 (2003). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03G25 06D30 91A99 PDFBibTeX XMLCite \textit{V. Goranko}, Stud. Log. 75, No. 2, 221--238 (2003; Zbl 1038.03057) Full Text: DOI
Goranko, Valentin; Kapron, Bruce The modal logic of the countable random frame. (English) Zbl 1038.03018 Arch. Math. Logic 42, No. 3, 221-243 (2003). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B70 03C90 03D15 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{B. Kapron}, Arch. Math. Logic 42, No. 3, 221--243 (2003; Zbl 1038.03018) Full Text: DOI
Goranko, Valentin; Vakarelov, Dimiter Modal logic and universal algebra. I: Modal axiomatizations of structures. (English) Zbl 1001.03019 Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 247-274 (2001). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03G25 08C10 03C05 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{D. Vakarelov}, in: Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML'98), Uppsala, Sweden, October 16--18, 1998. Stanford, CA: CSLI Publications. 247--274 (2001; Zbl 1001.03019)
Goranko, Valentin; Vakarelov, Dimiter Hyperboolean algebras and hyperboolean modal logic. (English) Zbl 1003.03017 J. Appl. Non-Class. Log. 9, No. 2-3, 345-368 (1999). MSC: 03B45 03G05 06E25 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{D. Vakarelov}, J. Appl. Non-Class. Log. 9, No. 2--3, 345--368 (1999; Zbl 1003.03017) Full Text: DOI
Goranko, Valentin Hierarchies of modal and temporal logics with reference pointers. (English) Zbl 0851.03003 J. Logic Lang. Inf. 5, No. 1, 1-24 (1996). MSC: 03B45 PDFBibTeX XMLCite \textit{V. Goranko}, J. Logic Lang. Inf. 5, No. 1, 1--24 (1996; Zbl 0851.03003) Full Text: DOI