 | Up a level |
Kuznets, Roman; Studer, Thomas (2016). Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL, 24(3), pp. 424-440. Oxford University Press 10.1093/jigpal/jzw002
Fitting, Melvin; Kuznets, Roman (2015). Modal interpolation via nested sequents. Annals of pure and applied logic, 166(3), pp. 274-305. Elsevier 10.1016/j.apal.2014.11.002
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2014). Realizing public announcements by justifications. Journal of computer and system sciences, 80(6), pp. 1046-1066. Elsevier 10.1016/j.jcss.2014.04.001
Artemov, Sergei N.; Kuznets, Roman (2014). Logical omniscience as infeasibility. Annals of pure and applied logic, 165(1), pp. 6-25. Elsevier 10.1016/j.apal.2013.07.003
Goetschi, Remo; Kuznets, Roman (2012). Realization for justification logics via nested sequents: Modularity through embedding. Annals of pure and applied logic, 163(9), pp. 1271-1298. Amsterdam: Elsevier 10.1016/j.apal.2012.02.002
Buss, Samuel R.; Kuznets, Roman (2012). Lower complexity bounds in justification logic. Annals of pure and applied logic, 163(7), pp. 888-905. Amsterdam: Elsevier 10.1016/j.apal.2011.09.010
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Justifications for Common Knowledge. Journal of applied non-classical logics, 21(1), pp. 35-60. Paris: Ed. Hermes 10.3166/JANCL.21.35-60
Kuznets, Roman (2010). Self-Referential Justifications in Epistemic Logic. Theory of computing systems, 46(4), pp. 636-661. New York, N.Y.: Springer-Verlag 10.1007/s00224-009-9209-3
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12
Kuznets, Roman; Studer, Thomas (2013). Update as Evidence: Belief Expansion. In: Update as evidence: brief expansion. Lecture Notes in Computer Science: Vol. 7734 (pp. 266-279). Berlin, Heidelberg: Springer 10.1007/978-3-642-35722-0_19
Kuznets, Roman; Studer, Thomas (2012). Justifications, Ontology, and Conservativity. In: Bolander, Thmas; Braüner, Torben; Ghilardi, Silvio; Moss, Lawrence (eds.) Advances in Modal Logic, volume 9 (pp. 437-458). College Publications
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Partial Realization in Dynamic Justification Logic. In: Beklemishev, Lev D.; de Queiroz, Ruy (eds.) Logic, Language, Information and Computation, 18th International workshop, WoLLIC 2011, Philadelphia, PA, USA, May, 18-20, Proceedings. Lecture Notes in Computer Science: Vol. 6642 (pp. 35-51). Heidelberg: Springer Verlag 10.1007/978-3-642-20920-8_9
Buss, Samuel R.; Kuznets, Roman (2009). The NP-Completeness of Reflected Fragments of Justification Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 122-136). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_9
Kuznets, Roman (2008). Self-referentiality of Justified Knowledge. In: Hirsch, Edward A.; Razborov, Alexander A.; Semenov, Alexei; Slissenko, Anatol (eds.) Computer Science - Theory and ApplicationsThird International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5010 (pp. 228-239). Heidelberg: Springer Verlag 10.1007/978-3-540-79709-8_24
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman (2010). A syntactic realization theorem for justification logics. In: Beklemishev, Lev; Goranko, Valentin; Shehtman, Valentin (eds.) Advances in modal logic, volume 8 (pp. 39-58). College Publications
Bucheli, Samuel; Kuznets, Roman; Renne, Bryan; Sack, Joshua; Studer, Thomas (2010). Justified Belief Change. In: Arrazola, Xabier; Ponte, Maria (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10).
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007
Artemov, Sergei; Kuznets, Roman (2009). Logical omniscience as a computational complexity problem. In: Heifetz, Aviad (ed.) TARK '09. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 14-23). New York: Association for Computing Machinery ACM 10.1145/1562814.1562821
Kuznets, Roman (2009). A Note on the Use of Sum in the Logic of Proofs. In: Drossos, Costas; , ; , ; Tsinakis, Constantine (eds.) Proceedings of the 7th Panhellenic Logic Symposium (pp. 99-103). Patras University Press
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2009). Two Ways to Common Knowledge. In: Preliminary proceedings of the 6th Workshop on Methods for Modalities (2009 M4M-6). Computer Science Research Reports: Vol. 128 (pp. 73-87). Roskilde University
