Roman Kuznets

Cited by

	All	Since 2018
Citations	1114	499
h-index	20	14
i10-index	31	20

120

200420052006200720082009201020112012201320142015201620172018201920202021202220234 9 20 23 29 30 40 38 67 45 94 66 80 59 48 84 84 111 59 112

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thomas StuderUniversität BernVerified email at iam.unibe.ch
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu
Ulrich SchmidTU WienVerified email at ecs.tuwien.ac.at
Krisztina FruzsaPhD student, TU WienVerified email at tuwien.ac.at
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Bjoern LellmannBMFVerified email at logic.at
Laurent ProsperiSorbonne Université, CNRS, INRIA, LIP6, F-75005 Paris, FranceVerified email at lip6.fr
Hans van DitmarschCNRSVerified email at loria.fr
Bryan Renne—Verified email at renne.org
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
Rojo RandrianomentsoaPhD Student, TU WienVerified email at tuwien.ac.at
Marianna GirlandoILLC, University of AmsterdamVerified email at uva.nl
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
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Xavier ParentTechnological University of ViennaVerified email at logic.at

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	85	2000
Complexity Issues in Justification Logic R Kuznets City University of New York, 2008	74	2008
Justifications for common knowledge S Bucheli, R Kuznets, T Studer Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011	67	2011
Justifications, ontology, and conservativity R Kuznets, T Studer AiML 2012: Advances in Modal Logic 9, 437–458, 2012	65	2012
Making knowledge explicit: How hard it is V Brezhnev, R Kuznets Theoretical Computer Science 357 (1–3), 23–34, 2006	63	2006
Logics of Proofs and Justifications R Kuznets, T Studer College Publications, 2019	55	2019
Logical omniscience as a computational complexity problem S Artemov, R Kuznets TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14–23, 2009	55	2009
Logical omniscience via proof complexity S Artemov, R Kuznets CSL 2006: Computer Science Logic, 135–149, 2006	45	2006
Update as evidence: Belief expansion R Kuznets, T Studer LFCS 2013: Logical Foundations of Computer Science, 266–279, 2013	34	2013
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	34	2012
Logical omniscience as infeasibility S Artemov, R Kuznets Annals of Pure and Applied Logic 165 (1), 6–25, 2014	32	2014
Self-referential justifications in epistemic logic R Kuznets Theory of Computing Systems 46 (4), 636–661, 2010	32	2010
Modal interpolation via nested sequents M Fitting, R Kuznets Annals of Pure and Applied Logic 166 (3), 274–305, 2015	31	2015
Realizing public announcements by justifications S Bucheli, R Kuznets, T Studer Journal of Computer and System Sciences 80 (6), 1046–1066, 2014	31	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
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
Weak arithmetical interpretations for the Logic of Proofs R Kuznets, T Studer Logic Journal of the IGPL 24 (3), 424–440, 2016	27	2016
A syntactic realization theorem for justification logics K Brünnler, R Goetschi, R Kuznets AiML 2010: Advances in Modal Logic 8, 39–58, 2010	27	2010
Grafting hypersequents onto nested sequents R Kuznets, B Lellmann Logic Journal of the IGPL 24 (3), 375–423, 2016	20	2016
Self-referentiality of justified knowledge R Kuznets CSR 2008: Computer Science–Theory and Applications, 228–239, 2008	20	2008

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