Valentin Goranko

Cited by

	All	Since 2019
Citations	5019	1560
h-index	36	20
i10-index	89	40

340

170

255

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 18 9 18 21 16 51 49 44 50 43 42 69 87 120 202 173 176 270 235 192 227 244 258 246 241 220 273 231 281 252 321 198

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
Davide BresolinUniversità di PadovaVerified email at unipd.it
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Willem ConradieProfessor of Mathematics, University of the WitwatersrandVerified email at wits.ac.za
Antti KuusistoAcademy Research Fellow, Tampere UniversityVerified email at tuni.fi
Dmitry ShkatovUniversity of the Witwatersrand, JohannesburgVerified email at wits.ac.za
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	394	1992
5 Model theory of modal logic V Goranko, M Otto Handbook of Modal Logic, 249-329, 2007	274	2007
Modal logic with names G Gargov, V Goranko Journal of Philosophical Logic 22, 607-636, 1993	235	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	196	2004
Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006	185	2006
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	171	2016
Coalition games and alternating temporal logics V Goranko Theoretical Aspects Of Rationality And Knowledge: Proceedings of the 8 th …, 2001	152	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	146	2004
Temporal Logics V Goranko Elements in Philosophy and Logic, 2023	143	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	142	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	126	2006
Hierarchies of modal and temporal logics with reference pointers V Goranko Journal of Logic, Language and Information 5, 1-24, 1996	119	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	108	2003
Modal definability in enriched languages V Goranko Notre Dame Journal of Formal Logic 31 (1), 81-105, 1990	91	1990
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015	81	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	72	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