Seuraa
Roman Kuznets
Roman Kuznets
Institute of Computer Science of the Czech Academy of Sciences
Vahvistettu sähköpostiosoite verkkotunnuksessa logic.at - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
On the complexity of explicit modal logics
R Kuznets
CSL 2000: Computer Science Logic, 371–383, 2000
882000
Complexity Issues in Justification Logic
R Kuznets
City University of New York, 2008
802008
Justifications for common knowledge
S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011
742011
Justifications, ontology, and conservativity
R Kuznets, T Studer
AiML 2012: Advances in Modal Logic 9, 437–458, 2012
702012
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
672006
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14–23, 2009
572009
Logical omniscience via proof complexity
S Artemov, R Kuznets
CSL 2006: Computer Science Logic, 135–149, 2006
472006
Logical omniscience as infeasibility
S Artemov, R Kuznets
Annals of Pure and Applied Logic 165 (1), 6–25, 2014
372014
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
372012
Update as evidence: Belief expansion
R Kuznets, T Studer
LFCS 2013: Logical Foundations of Computer Science, 266–279, 2012
352012
Self-referential justifications in epistemic logic
R Kuznets
Theory of Computing Systems 46 (4), 636–661, 2010
352010
Modal interpolation via nested sequents
M Fitting, R Kuznets
Annals of Pure and Applied Logic 166 (3), 274–305, 2015
332015
Realizing public announcements by justifications
S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046–1066, 2014
332014
Partial realization in dynamic justification logic
S Bucheli, R Kuznets, T Studer
WoLLIC 2011: Workshop on Logic, Language, Information and Computation, 35–51, 2011
312011
Weak arithmetical interpretations for the Logic of Proofs
R Kuznets, T Studer
Logic Journal of the IGPL 24 (3), 424–440, 2016
302016
Justified belief change
S Bucheli, R Kuznets, B Renne, J Sack, T Studer
LogKCA-10: ILCLI Workshop on Logic and Philosophy of Knowledge …, 2010
302010
A syntactic realization theorem for justification logics
K Brünnler, R Goetschi, R Kuznets
AiML 2010: Advances in Modal Logic 8, 39–58, 2010
292010
Interpolation for intermediate logics via hyper- and linear nested sequents
R Kuznets, B Lellmann
AiML 2018: Advances in Modal Logic 12, 473–492, 2018
242018
Epistemic reasoning with byzantine-faulty agents
R Kuznets, L Prosperi, U Schmid, K Fruzsa
FroCoS 2019: Frontiers of Combining Systems, 259–276, 2019
232019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20