| Using the universal modality: gains and questions V Goranko, S Passy Journal of Logic and Computation 2 (1), 5-30, 1992 | 413 | 1992 |
| 5 Model theory of modal logic V Goranko, M Otto Handbook of Modal Logic, 249-329, 2007 | 301 | 2007 |
| Modal logic with names G Gargov, V Goranko Journal of Philosophical Logic 22 (6), 607-636, 1993 | 246 | 1993 |
| Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016 | 208 | 2016 |
| A road map of interval temporal logics and duration calculi V Goranko, A Montanari, G Sciavicco Journal of Applied Non-Classical Logics 14 (1-2), 9-54, 2004 | 206 | 2004 |
| Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006 | 199 | 2006 |
| Temporal Logics V Goranko Elements in Philosophy and Logic, 2023 | 180 | 2023 |
| Coalition games and alternating temporal logics V Goranko Theoretical Aspects Of Rationality And Knowledge: Proceedings of the 8 th …, 2001 | 161 | 2001 |
| Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese, Series on Knowledge, Rationality and Action 139 (2), 241-280, 2004 | 158 | 2004 |
| Alternating-time temporal logics with irrevocable strategies T Ågotnes, V Goranko, W Jamroga Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007 | 156 | 2007 |
| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA W Conradie, V Goranko, D Vakarelov Logical Methods in Computer Science 2 (1:5), 1-26, 2006 | 138 | 2006 |
| Hierarchies of modal and temporal logics with reference pointers V Goranko Journal of Logic, Language and Information 5 (1), 1-24, 1996 | 125 | 1996 |
| Elementary canonical formulae: extending Sahlqvist’s theorem V Goranko, D Vakarelov Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006 | 122 | 2006 |
| Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions D Bresolin, V Goranko, A Montanari, G Sciavicco Annals of Pure and Applied Logic 161 (3), 289-304, 2009 | 117 | 2009 |
| On propositional interval neighborhood temporal logics A Montanari, G Sciavicco Journal of Universal computer science 9 (9), 1137-1167, 2003 | 115 | 2003 |
| Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015 | 95 | 2015 |
| Modal definability in enriched languages V Goranko Notre Dame Journal of Formal Logic 31 (1), 81-105, 1990 | 93 | 1990 |
| Interval temporal logics: a journey D Della Monica, V Goranko, A Montanari, G Sciavicco Bulletin of the European Association for Theoretical Computer Science …, 2011 | 80 | 2011 |
| Tableaux for logics of subinterval structures over dense orderings D Bresolin, V Goranko, A Montanari, P Sala Journal of Logic and Computation 20 (1), 133-166, 2010 | 79 | 2010 |
| Refutation systems in modal logic V Goranko Studia Logica 53 (2), 299-324, 1994 | 78 | 1994 |
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
