Valentin Goranko

Cited by

	All	Since 2020
Citations	5115	1367
h-index	36	19
i10-index	89	32

320

160

240

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 18 9 18 21 16 51 49 44 50 43 42 71 87 120 204 179 175 268 236 192 230 246 258 246 241 220 272 230 282 251 316 268 17

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Guido SciaviccoUniversitá di FerraraVerified email at unife.it
Dimiter VakarelovSofia University "St. Kliment Ohridski"Verified email at fmi.uni-sofia.bg
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Davide BresolinUniversità di PadovaVerified email at unipd.it
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Willem ConradieProfessor of Mathematics, University of the WitwatersrandVerified email at wits.ac.za
Dmitry ShkatovUniversity of the Witwatersrand, JohannesburgVerified email at wits.ac.za
Antti KuusistoAcademy Research Fellow, Tampere UniversityVerified email at tuni.fi
Govert van DrimmelenUniversity of JohannesburgVerified email at icon.co.za
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Pietro SalaAssociate Professor in Computer Science, University of VeronaVerified email at univr.it
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
Paolo TurriniDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Solomon PassyPresident, The Atlantic Club of BulgariaVerified email at atlantic-club.org
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Nils BullingTU ClausthalVerified email at in.tu-clausthal.de
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
François SchwarzentruberÉcole Normale Supérieure de LyonVerified email at ens-lyon.fr
Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr

Valentin Goranko

Professor of Logic and Theoretical Philosophy, Stockholm University

Verified email at philosophy.su.se - Homepage

Logic Philosophical Logic Logic in Computer Science Multi-agent Systems Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using the universal modality: gains and questions V Goranko, S Passy Journal of Logic and Computation 2 (1), 5-30, 1992	396	1992
5 Model theory of modal logic V Goranko, M Otto Handbook of Modal Logic, 249-329, 2007	279	2007
Modal logic with names G Gargov, V Goranko Journal of Philosophical Logic 22, 607-636, 1993	237	1993
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	200	2004
Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006	186	2006
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	175	2016
Coalition games and alternating temporal logics V Goranko Theoretical Aspects Of Rationality And Knowledge: Proceedings of the 8 th …, 2001	153	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	152	2004
Temporal Logics V Goranko Elements in Philosophy and Logic, 2023	151	2023
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	145	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	129	2006
Hierarchies of modal and temporal logics with reference pointers V Goranko Journal of Logic, Language and Information 5, 1-24, 1996	120	1996
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	113	2009
Elementary canonical formulae: extending Sahlqvist’s theorem V Goranko, D Vakarelov Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006	112	2006
On propositional interval neighborhood temporal logics A Montanari, G Sciavicco Journal of Universal computer science 9 (9), 1137-1167, 2003	110	2003
Modal definability in enriched languages V Goranko Notre Dame Journal of Formal Logic 31 (1), 81-105, 1990	92	1990
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015	82	2015
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	78	2010
Refutation systems in modal logic V Goranko Studia Logica 53, 299-324, 1994	74	1994
Interval temporal logics: a journey D Della Monica, V Goranko, A Montanari, G Sciavicco Bulletin of the European Association for Theoretical Computer Science …, 2011	73	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors