Folgen
Roman Kuznets
Roman Kuznets
Institute of Computer Engineering, Technische Universität Wien
Bestätigte E-Mail-Adresse bei logic.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
On the complexity of explicit modal logics
R Kuznets
CSL 2000: Computer Science Logic, 371–383, 2000
832000
Complexity Issues in Justification Logic
R Kuznets
City University of New York, 2008
742008
Justifications for common knowledge
S Bucheli, R Kuznets, T Studer
Journal of Applied Non-Classical Logics 21 (1), 35–60, 2011
702011
Justifications, ontology, and conservativity
R Kuznets, T Studer
AiML 2012: Advances in Modal Logic 9, 437–458, 2012
672012
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
572019
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
TARK 2009: Theoretical Aspects of Rationality and Knowledge, 14–23, 2009
552009
Logical omniscience via proof complexity
S Artemov, R Kuznets
CSL 2006: Computer Science Logic, 135–149, 2006
452006
Update as evidence: Belief expansion
R Kuznets, T Studer
LFCS 2013: Logical Foundations of Computer Science, 266–279, 2013
342013
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
342012
Logical omniscience as infeasibility
S Artemov, R Kuznets
Annals of Pure and Applied Logic 165 (1), 6–25, 2014
332014
Self-referential justifications in epistemic logic
R Kuznets
Theory of Computing Systems 46 (4), 636–661, 2010
322010
Modal interpolation via nested sequents
M Fitting, R Kuznets
Annals of Pure and Applied Logic 166 (3), 274–305, 2015
312015
Realizing public announcements by justifications
S Bucheli, R Kuznets, T Studer
Journal of Computer and System Sciences 80 (6), 1046–1066, 2014
312014
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
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
Weak arithmetical interpretations for the Logic of Proofs
R Kuznets, T Studer
Logic Journal of the IGPL 24 (3), 424–440, 2016
282016
A syntactic realization theorem for justification logics
K Brünnler, R Goetschi, R Kuznets
AiML 2010: Advances in Modal Logic 8, 39–58, 2010
272010
Grafting hypersequents onto nested sequents
R Kuznets, B Lellmann
Logic Journal of the IGPL 24 (3), 375–423, 2016
212016
Epistemic reasoning with byzantine-faulty agents
R Kuznets, L Prosperi, U Schmid, K Fruzsa
FroCoS 2019: Frontiers of Combining Systems, 259–276, 2019
202019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20