Valentin Goranko - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	3718	1340
h-index	32	20
i10-index	67	36

280

140

210

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202013 12 10 16 21 13 45 52 43 41 35 42 61 97 121 199 176 179 252 232 190 220 239 251 236 238 209 268 133

Medeauteurs

Angelo MontanariProfessor of Computer Science, Univ. of UdineGeverifieerd e-mailadres voor uniud.it
Guido SciaviccoUniversitá di FerraraGeverifieerd e-mailadres voor unife.it
Dimiter VakarelovSofia University "St. Kliment Ohridski"Geverifieerd e-mailadres voor fmi.uni-sofia.bg
Davide BresolinUniversità di PadovaGeverifieerd e-mailadres voor unipd.it
Wojciech JamrogaPolish Academy of SciencesGeverifieerd e-mailadres voor ipipan.waw.pl
Dario Della MonicaUniversity of Udine (Italy)Geverifieerd e-mailadres voor uniud.it
Willem ConradieAssociate Professor of Mathematics, University of the WitwatersrandGeverifieerd e-mailadres voor wits.ac.za
Dmitry ShkatovSchool of Computer Science and Applied MathematicsGeverifieerd e-mailadres voor wits.ac.za
Govert van DrimmelenUniversity of JohannesburgGeverifieerd e-mailadres voor icon.co.za
Thomas ÅgotnesProfessor of Information Science, University of BergenGeverifieerd e-mailadres voor infomedia.uib.no
Antti KuusistoAcademy Research Fellow, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
Pietro SalaTemporary Assistant Professor in Computer Science, University of VeronaGeverifieerd e-mailadres voor univr.it
Philippe BalbianiInstitut de recherche en informatique de ToulouseGeverifieerd e-mailadres voor irit.fr
Paolo TurriniDepartment of Computer Science, University of WarwickGeverifieerd e-mailadres voor warwick.ac.uk
Solomon PassyPresident, The Atlantic Club of BulgariaGeverifieerd e-mailadres voor atlantic-club.org
Martin LangeProfessor of Computer Science, University of KasselGeverifieerd e-mailadres voor uni-kassel.de
Nils BullingTU ClausthalGeverifieerd e-mailadres voor in.tu-clausthal.de
Alain FinkelLSV ENS Paris SaclayGeverifieerd e-mailadres voor lsv.fr
Renate A SchmidtSchool of Computer Science, The University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk

Valentin Goranko

Professor of Logic and Theoretical Philosophy, Stockholm University

Geverifieerd e-mailadres voor philosophy.su.se - Homepage

Logic Multi-agent Systems Game Theory Artificial Intelligence Logic in Computer Science


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Using the universal modality: gains and questions V Goranko, S Passy Journal of Logic and Computation 2 (1), 5-30, 1992	316	1992
Modal logic with names G Gargov, V Goranko Journal of Philosophical Logic 22 (6), 607-636, 1993	210	1993
5 Model theory of modal logic V Goranko, M Otto Handbook of Modal Logic, 249-329, 2007	199	2007
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	155	2004
Complete axiomatization and decidability of alternating-time temporal logic V Goranko, G Van Drimmelen Theoretical Computer Science 353 (1-3), 93-117, 2006	149	2006
Coalition games and alternating temporal logics V Goranko Proceedings of the 8th conference on Theoretical aspects of rationality and …, 2001	131	2001
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	126	2007
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Information, Interaction and Agency, 77-116, 2004	119	2004
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	101	2009
Hierarchies of modal and temporal logics with reference pointers V Goranko Journal of Logic, Language and Information 5 (1), 1-24, 1996	99	1996
Propositional interval neighborhood temporal logics V Goranko, A Montanari, G Sciavicco J. UCS 9 (9), 1137-1167, 2003	97	2003
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	93	2006
Elementary canonical formulae: extending Sahlqvist’s theorem V Goranko, D Vakarelov Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006	88	2006
Modal definability in enriched languages V Goranko	77	1989
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	70	2010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco International Conference on Logic for Programming Artificial Intelligence …, 2008	65	2008
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	62	2016
Temporal logic with reference pointers V Goranko Proc. of the First Intern. conference on Temporal Logic, Bonn 1994, D …, 1994	55	1994
Tableau-based decision procedures for logics of strategic ability in multiagent systems V Goranko, D Shkatov ACM Transactions on Computational Logic (TOCL) 11 (1), 1-51, 2009	54	2009
Refutation systems in modal logic V Goranko Studia Logica 53 (2), 299-324, 1994	51	1994

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs