Valentin Goranko

Citado por

	Total	Desde 2020
Citas	5129	1381
Índice h	36	19
Índice i10	89	32

320

160

240

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 18 9 18 21 16 51 49 44 50 43 42 71 87 120 204 179 175 268 237 192 230 246 258 245 242 219 272 230 283 251 315 274 25

Acceso público

Ver todo

30 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Angelo MontanariProfessor of Computer Science, Univ. of UdineDirección de correo verificada de uniud.it
Guido SciaviccoUniversitá di FerraraDirección de correo verificada de unife.it
Dimiter VakarelovSofia University "St. Kliment Ohridski"Dirección de correo verificada de fmi.uni-sofia.bg
Wojciech JamrogaPolish Academy of SciencesDirección de correo verificada de ipipan.waw.pl
Davide BresolinUniversità di PadovaDirección de correo verificada de unipd.it
Dario Della MonicaUniversity of Udine (Italy)Dirección de correo verificada de uniud.it
Willem ConradieProfessor of Mathematics, University of the WitwatersrandDirección de correo verificada de wits.ac.za
Dmitry ShkatovUniversity of the Witwatersrand, JohannesburgDirección de correo verificada de wits.ac.za
Antti KuusistoAcademy Research Fellow, Tampere UniversityDirección de correo verificada de tuni.fi
Govert van DrimmelenUniversity of JohannesburgDirección de correo verificada de icon.co.za
Thomas ÅgotnesProfessor of Information Science, University of BergenDirección de correo verificada de infomedia.uib.no
Pietro SalaAssociate Professor in Computer Science, University of VeronaDirección de correo verificada de univr.it
Philippe BalbianiInstitut de recherche en informatique de ToulouseDirección de correo verificada de irit.fr
Paolo TurriniDepartment of Computer Science, University of WarwickDirección de correo verificada de warwick.ac.uk
Martin LangeProfessor of Computer Science, University of KasselDirección de correo verificada de uni-kassel.de
Solomon PassyPresident, The Atlantic Club of BulgariaDirección de correo verificada de atlantic-club.org
Nils BullingTU ClausthalDirección de correo verificada de in.tu-clausthal.de
Olivier GasquetProfesseur d'informatique, Université Paul SabatierDirección de correo verificada de irit.fr
François SchwarzentruberÉcole Normale Supérieure de LyonDirección de correo verificada de ens-lyon.fr
Alain FinkelLMF ENS Paris SaclayDirección de correo verificada de ens-paris-saclay.fr

Seguir

Valentin Goranko

Professor of Logic and Theoretical Philosophy, Stockholm University

Dirección de correo verificada de philosophy.su.se - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	179	2016
Temporal Logics V Goranko Elements in Philosophy and Logic, 2023	153	2023
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
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	130	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	113	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores