Valentin Goranko 个人学术档案

引用次数

	总计	2019 年至今
引用	4931	1478
h 指数	35	20
i10 指数	87	39

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 240 220 273 228 277 253 313 131

开放获取的出版物数量

查看全部

30 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Angelo MontanariProfessor of Computer Science, Univ. of Udine在 uniud.it 的电子邮件经过验证
Guido SciaviccoUniversitá di Ferrara在 unife.it 的电子邮件经过验证
Dimiter VakarelovSofia University "St. Kliment Ohridski"在 fmi.uni-sofia.bg 的电子邮件经过验证
Davide BresolinUniversità di Padova在 unipd.it 的电子邮件经过验证
Wojciech JamrogaPolish Academy of Sciences在 ipipan.waw.pl 的电子邮件经过验证
Dario Della MonicaUniversity of Udine (Italy)在 uniud.it 的电子邮件经过验证
Willem ConradieProfessor of Mathematics, University of the Witwatersrand在 wits.ac.za 的电子邮件经过验证
Antti KuusistoAcademy Research Fellow, Tampere University在 tuni.fi 的电子邮件经过验证
Dmitry ShkatovUniversity of the Witwatersrand, Johannesburg在 wits.ac.za 的电子邮件经过验证
Govert van DrimmelenUniversity of Johannesburg在 icon.co.za 的电子邮件经过验证
Thomas ÅgotnesProfessor of Information Science, University of Bergen在 infomedia.uib.no 的电子邮件经过验证
Pietro SalaAssociate Professor in Computer Science, University of Verona在 univr.it 的电子邮件经过验证
Philippe BalbianiInstitut de recherche en informatique de Toulouse在 irit.fr 的电子邮件经过验证
Paolo TurriniDepartment of Computer Science, University of Warwick在 warwick.ac.uk 的电子邮件经过验证
Solomon PassyPresident, The Atlantic Club of Bulgaria在 atlantic-club.org 的电子邮件经过验证
Martin LangeProfessor of Computer Science, University of Kassel在 uni-kassel.de 的电子邮件经过验证
Nils BullingTU Clausthal在 in.tu-clausthal.de 的电子邮件经过验证
Olivier GasquetProfesseur d'informatique, Université Paul Sabatier在 irit.fr 的电子邮件经过验证
François SchwarzentruberENS Rennes在 ens-rennes.fr 的电子邮件经过验证
Alain FinkelLSV ENS Paris Saclay在 lsv.fr 的电子邮件经过验证

关注

Valentin Goranko

Professor of Logic and Theoretical Philosophy, Stockholm University

在 philosophy.su.se 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	265	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	193	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
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
Temporal Logics V Goranko Elements in Philosophy and Logic, 2023	137	2023
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	112	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用