Roman Kuznets

Cited by

	All	Since 2020
Citations	1315	528
h-index	21	14
i10-index	37	24

140

105

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 10 21 23 32 30 43 39 67 56 101 61 80 61 49 80 93 110 56 124 126 18

Public access

View all

40 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Thomas StuderUniversität BernVerified email at iam.unibe.ch
Ulrich SchmidTU WienVerified email at ecs.tuwien.ac.at
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Krisztina FruzsaVerified email at tuwien.ac.at
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu
Hans van DitmarschCNRSVerified email at irit.fr
Laurent ProsperiSorbonne Université, CNRS, INRIA, LIP6, F-75005 Paris, FranceVerified email at lip6.fr
Bjoern LellmannBMFVerified email at logic.at
Marianela MoralesJP Morgan AI ResearchVerified email at jpmorgan.com
Marianna GirlandoILLC, University of AmsterdamVerified email at uva.nl
Bryan Renne—Verified email at renne.org
Rojo RandrianomentsoaPhD Student, TU WienVerified email at tuwien.ac.at
Sonia MarinLecturer, University of BirminghamVerified email at bham.ac.uk
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
Raheleh Jalalipostdoc in mathematical logic, The Czezh Academy of SciencesVerified email at cs.cas.cz
Melvin FittingProfessor, City University of New YorkVerified email at lehman.cuny.edu
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesVerified email at bfh.ch
AnneMarie BorgUtrecht UniversityVerified email at uu.nl
Tuomas E. TahkoProfessor of Metaphysics of Science, University of BristolVerified email at bristol.ac.uk
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz

Roman Kuznets

Institute of Computer Science of the Czech Academy of Sciences

Verified email at logic.at - Homepage

Modal Logic Distributed Systems Proof Theory Justification Logic Complexity Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On the complexity of explicit modal logics R Kuznets CSL 2000: Computer Science Logic, 371–383, 2000	88	2000
Complexity Issues in Justification Logic R Kuznets City University of New York, 2008	80	2008
Justifications for common knowledge S Bucheli, R Kuznets, T Studer Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011	74	2011
Justifications, ontology, and conservativity R Kuznets, T Studer AiML 2012: Advances in Modal Logic 9, 437–458, 2012	72	2012
Logics of Proofs and Justifications R Kuznets, T Studer College Publications, 2019	67*	2019
Making knowledge explicit: How hard it is V Brezhnev, R Kuznets Theoretical Computer Science 357 (1–3), 23–34, 2006	67	2006
Logical omniscience as a computational complexity problem S Artemov, R Kuznets TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14–23, 2009	57	2009
Logical omniscience via proof complexity S Artemov, R Kuznets CSL 2006: Computer Science Logic, 135–149, 2006	47	2006
Logical omniscience as infeasibility S Artemov, R Kuznets Annals of Pure and Applied Logic 165 (1), 6–25, 2014	37	2014
Realization for justification logics via nested sequents: Modularity through embedding R Goetschi, R Kuznets Annals of Pure and Applied Logic 163 (9), 1271–1298, 2012	37	2012
Update as evidence: Belief expansion R Kuznets, T Studer LFCS 2013: Logical Foundations of Computer Science, 266–279, 2012	35	2012
Self-referential justifications in epistemic logic R Kuznets Theory of Computing Systems 46 (4), 636–661, 2010	35	2010
Modal interpolation via nested sequents M Fitting, R Kuznets Annals of Pure and Applied Logic 166 (3), 274–305, 2015	34	2015
Realizing public announcements by justifications S Bucheli, R Kuznets, T Studer Journal of Computer and System Sciences 80 (6), 1046–1066, 2014	33	2014
Partial realization in dynamic justification logic S Bucheli, R Kuznets, T Studer WoLLIC 2011: Workshop on Logic, Language, Information and Computation, 35–51, 2011	31	2011
Weak arithmetical interpretations for the Logic of Proofs R Kuznets, T Studer Logic Journal of the IGPL 24 (3), 424–440, 2016	30	2016
Justified belief change S Bucheli, R Kuznets, B Renne, J Sack, T Studer LogKCA-10: ILCLI Workshop on Logic and Philosophy of Knowledge …, 2010	30	2010
A syntactic realization theorem for justification logics K Brünnler, R Goetschi, R Kuznets AiML 2010: Advances in Modal Logic 8, 39–58, 2010	29	2010
Interpolation for intermediate logics via hyper- and linear nested sequents R Kuznets, B Lellmann AiML 2018: Advances in Modal Logic 12, 473–492, 2018	24	2018
Epistemic reasoning with byzantine-faulty agents R Kuznets, L Prosperi, U Schmid, K Fruzsa FroCoS 2019: Frontiers of Combining Systems, 259–276, 2019	23	2019

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