Volgen
Roman Kuznets
Roman Kuznets
Institute of Computer Engineering, Technische Universität Wien
Geverifieerd e-mailadres voor logic.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
On the complexity of explicit modal logics
R Kuznets
CSL 2000: Computer Science Logic, 371–383, 2000
842000
Complexity Issues in Justification Logic
R Kuznets
City University of New York, 2008
752008
Justifications for common knowledge
S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011
712011
Justifications, ontology, and conservativity
R Kuznets, T Studer
AiML 2012: Advances in Modal Logic 9, 437–458, 2012
702012
Making knowledge explicit: How hard it is
V Brezhnev, R Kuznets
Theoretical Computer Science 357 (1–3), 23–34, 2006
632006
Logics of Proofs and Justifications
R Kuznets, T Studer
College Publications, 2019
61*2019
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14–23, 2009
562009
Logical omniscience via proof complexity
S Artemov, R Kuznets
CSL 2006: Computer Science Logic, 135–149, 2006
462006
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
362012
Update as evidence: Belief expansion
R Kuznets, T Studer
LFCS 2013: Logical Foundations of Computer Science, 266–279, 2012
342012
Modal interpolation via nested sequents
M Fitting, R Kuznets
Annals of Pure and Applied Logic 166 (3), 274–305, 2015
332015
Logical omniscience as infeasibility
S Artemov, R Kuznets
Annals of Pure and Applied Logic 165 (1), 6–25, 2014
332014
Realizing public announcements by justifications
S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046–1066, 2014
322014
Self-referential justifications in epistemic logic
R Kuznets
Theory of Computing Systems 46 (4), 636–661, 2010
322010
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
Weak arithmetical interpretations for the Logic of Proofs
R Kuznets, T Studer
Logic Journal of the IGPL 24 (3), 424–440, 2016
292016
Justified belief change
S Bucheli, R Kuznets, B Renne, J Sack, T Studer
LogKCA-10: ILCLI Workshop on Logic and Philosophy of Knowledge …, 2010
292010
A syntactic realization theorem for justification logics
K Brünnler, R Goetschi, R Kuznets
AiML 2010: Advances in Modal Logic 8, 39–58, 2010
282010
Epistemic reasoning with byzantine-faulty agents
R Kuznets, L Prosperi, U Schmid, K Fruzsa
FroCoS 2019: Frontiers of Combining Systems, 259–276, 2019
212019
Grafting hypersequents onto nested sequents
R Kuznets, B Lellmann
Logic Journal of the IGPL 24 (3), 375–423, 2016
212016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20