Publications

Export 19 results:

Filters: Author is Roman Kuznets [Clear All Filters]

2016

Kuznets, R., Studer, T.: Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL. 24, 424-440 (2016).

2015

Fitting, M., Kuznets, R.: Modal interpolation via nested sequents. Annals of pure and applied logic. 166, 274-305 (2015).

2014

Artemov, S., Kuznets, R.: Logical Omniscience As Infeasibility. Annals of Pure and Applied Logic. 165, 6-25 (2014).

Bucheli, S., Kuznets, R., Studer, T.: Realizing Public Announcements by Justifications. Journal of Computer and System Sciences. 80, 1046-1066 (2014).

2013

Bucheli, S., Kuznets, R., Studer, T.: Decidability for Justification Logics Revisited. In: Bezhanishvili, G., Löbner, S., Marra, V., and Richter, F. Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. pp. 166-181. Springer (2013).

Kuznets, R., Studer, T.: Update as Evidence: Belief Expansion. In: Artemov, S. and Nerode, A. Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings. pp. 266-279. Springer (2013).

2012

Kuznets, R., Studer, T.: Justifications, Ontology, and Conservativity. In: Bolander, T., Braüner, T., Ghilardi, S., and Moss, L. Advances in Modal Logic, volume 9. pp. 437-458. College Publications (2012).

Buss, S.R., Kuznets, R.: Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163, 888-905 (2012).

Goetschi, R., Kuznets, R.: Realization for Justification Logics via Nested Sequents: Modularity through Embedding. Annals of Pure and Applied Logic. 163, 1271-1298 (2012).

2011

Bucheli, S., Kuznets, R., Studer, T.: Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21, 35-60 (2011).

Bucheli, S., Kuznets, R., Studer, T.: Partial Realization in Dynamic Justification Logic. In: Beklemishev, L. and de Queiroz, R. Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. pp. 35-51 (2011).

2010

Brünnler, K., Goetschi, R., Kuznets, R.: A Syntactic Realization Theorem for Justification Logics. In: Beklemishev, L., Goranko, V., and Shehtman, V. Advances in Modal Logic, Volume 8. pp. 39-58. College Publications (2010).

Bucheli, S., Kuznets, R., Studer, T.: Explicit Evidence Systems with Common Knowledge. (2010).

Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified Belief Change. In: Arrazola, X. and Ponte, M.\'ıa Proceedings of the Second ILCLI International Workshop on Logic and Philosphy of Knowledge, Communication and Action (LogKCA-10). pp. 135-155. University of the Basque Country Press (2010).

Kuznets, R.: Self-Referential Justifications in Epistemic Logic. Theory of Computing Systems. 46, 636-661 (2010).

Bucheli, S., Kuznets, R., Studer, T.: Two Ways to Common Knowledge. In: Bolander, T. and Braüner, T. Proceedings of the 6th Workshop on Methods for Modalities (M4M–6 2009), Copenhagen, Denmark, 12–14 November 2009. pp. 83-98. Elsevier (2010).

2009

Kuznets, R.: A Note on the Use of Sum in the Logic of Proofs. In: Drossos, C., Peppas, P., and Tsinakis, C. Proceedings of the 7th Panhellenic Logic Symposium. pp. 99-103. Patras University Press, Patras University, Greece (2009).

Artemov, S., Kuznets, R.: Logical Omniscience as a Computational Complexity Problem. In: Heifetz, A. Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009). pp. 14-23. ACM, Stanford University, California (2009).

Buss, S.R., Kuznets, R.: The NP-completeness of reflected fragments of justification logics. In: Artemov, S. and Nerode, A. Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).