Follow
Roman Kuznets
Roman Kuznets
Institute of Computer Engineering, Technische Universität Wien
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
On the complexity of explicit modal logics
R Kuznets
CSL 2000: Computer Science Logic 1862, 371-383, 2000
882000
Complexity issues in justification logic
R Kuznets
City University of New York, 2008
762008
Justifications for common knowledge
S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35-60, 2011
632011
Making knowledge explicit: How hard it is
V Brezhnev, R Kuznets
Theoretical Computer Science 357 (1-3), 23-34, 2006
632006
Justifications, Ontology, and Conservativity
R Kuznets, T Studer
AiML 2012: Advances in Modal Logic 9, 437–458, 2012
612012
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14-23, 2009
522009
Logical omniscience via proof complexity
S Artemov, R Kuznets
CSL 2006: Computer Science Logic, 135-149, 2006
472006
Logics of Proofs and Justifications
R Kuznets, T Studer
College Publications, 2019
46*2019
Update as Evidence: Belief Expansion
R Kuznets, T Studer
LFCS 2013: Logical Foundations of Computer Science, 266-279, 2013
322013
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
322012
Self-referential justifications in epistemic logic
R Kuznets
Theory of Computing Systems 46 (4), 636-661, 2010
322010
Realizing Public Announcements by Justifications
S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046-1066, 2014
302014
Partial realization in dynamic justification logic
S Bucheli, R Kuznets, T Studer
WoLLIC 2011: Workshop on Logic, Language, Information and Computation, 35-51, 2011
302011
Logical omniscience as infeasibility
S Artemov, R Kuznets
Annals of Pure and Applied Logic 165 (1), 6-25, 2014
282014
Justified belief change
S Bucheli, R Kuznets, B Renne, J Sack, T Studer
LogKCA-10: ILCLI Workshop on Logic and Philosophy of Knowledge …, 2010
282010
Weak arithmetical interpretations for the Logic of Proofs
R Kuznets, T Studer
Logic Journal of the IGPL 24 (3), 424-440, 2016
262016
A syntactic realization theorem for justification logics
K Brünnler, R Goetschi, R Kuznets
AiML 2010: Advances in Modal Logic 8, 39-58, 2010
262010
Modal interpolation via nested sequents
M Fitting, R Kuznets
Annals of Pure and Applied Logic 166 (3), 274–305, 2015
252015
Self-referentiality of justified knowledge
R Kuznets
CSR 2008: Computer Science–Theory and Applications, 228-239, 2008
222008
Complexity through tableaux in justification logic
R Kuznets
Bulletin of Symbolic Logic 15 (1), 121, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20