Roman Kuznets

Cited by

	All	Since 2019
Citations	1241	565
h-index	20	15
i10-index	36	24

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320244 9 18 23 29 32 40 38 67 45 101 59 80 60 48 88 81 119 59 117 97

Public access

View all

42 articles

1 article

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
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu
Krisztina FruzsaVerified email at tuwien.ac.at
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
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
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
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
Sonia MarinLecturer, University of BirminghamVerified email at bham.ac.uk
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
Raheleh Jalalipostdoc in mathematical logic, The Czezh Academy of SciencesVerified email at cs.cas.cz
AnneMarie BorgUtrecht UniversityVerified email at uu.nl
Tuomas E. TahkoProfessor of Metaphysics of Science, University of BristolVerified email at bristol.ac.uk
Armando CastañedaInstituto de Matemáticas, UNAMVerified email at im.unam.mx
Yoram MosesTechnionVerified email at ee.technion.ac.il

Roman Kuznets

Institute of Computer Engineering, Technische Universität Wien

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	84	2000
Complexity Issues in Justification Logic R Kuznets City University of New York, 2008	76	2008
Justifications for common knowledge S Bucheli, R Kuznets, T Studer Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011	71	2011
Justifications, ontology, and conservativity R Kuznets, T Studer AiML 2012: Advances in Modal Logic 9, 437–458, 2012	70	2012
Logics of Proofs and Justifications R Kuznets, T Studer College Publications, 2019	64*	2019
Making knowledge explicit: How hard it is V Brezhnev, R Kuznets Theoretical Computer Science 357 (1–3), 23–34, 2006	63	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	46	2006
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
Logical omniscience as infeasibility S Artemov, R Kuznets Annals of Pure and Applied Logic 165 (1), 6–25, 2014	36	2014
Update as evidence: Belief expansion R Kuznets, T Studer LFCS 2013: Logical Foundations of Computer Science, 266–279, 2012	34	2012
Modal interpolation via nested sequents M Fitting, R Kuznets Annals of Pure and Applied Logic 166 (3), 274–305, 2015	33	2015
Self-referential justifications in epistemic logic R Kuznets Theory of Computing Systems 46 (4), 636–661, 2010	33	2010
Realizing public announcements by justifications S Bucheli, R Kuznets, T Studer Journal of Computer and System Sciences 80 (6), 1046–1066, 2014	32	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	30	2011
Weak arithmetical interpretations for the Logic of Proofs R Kuznets, T Studer Logic Journal of the IGPL 24 (3), 424–440, 2016	29	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	29	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	28	2010
Epistemic reasoning with byzantine-faulty agents R Kuznets, L Prosperi, U Schmid, K Fruzsa FroCoS 2019: Frontiers of Combining Systems, 259–276, 2019	22	2019
Grafting hypersequents onto nested sequents R Kuznets, B Lellmann Logic Journal of the IGPL 24 (3), 375–423, 2016	21	2016

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