Valentin Goranko

Cited by

	All	Since 2019
Citations	4950	1496
h-index	35	20
i10-index	87	40

320

160

240

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 18 9 18 21 16 51 49 44 50 43 42 69 87 120 198 175 176 268 235 192 227 244 257 246 241 219 273 228 281 253 315 141

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 SchwarzentruberENS RennesVerified email at ens-rennes.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	393	1992
5 Model theory of modal logic V Goranko, M Otto Handbook of Modal Logic, 249-329, 2007	268	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	194	2004
Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006	183	2006
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	163	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	144	2004
Temporal Logics V Goranko Elements in Philosophy and Logic, 2023	142	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	123	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	111	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	89	1990
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015	80	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
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
Refutation systems in modal logic V Goranko Studia Logica 53, 299-324, 1994	72	1994

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