Publications
Export 19 results:
Filters: Author is Roman Kuznets [Clear All Filters]
Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL. 24, 424-440 (2016).
: Modal interpolation via nested sequents. Annals of pure and applied logic. 166, 274-305 (2015).
: Logical Omniscience As Infeasibility. Annals of Pure and Applied Logic. 165, 6-25 (2014).
: Realizing Public Announcements by Justifications. Journal of Computer and System Sciences. 80, 1046-1066 (2014).
: Decidability for Justification Logics Revisited. In: 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).
: Update as Evidence: Belief Expansion. In: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings. pp. 266-279. Springer (2013).
: Justifications, Ontology, and Conservativity. In: Advances in Modal Logic, volume 9. pp. 437-458. College Publications (2012).
: Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163, 888-905 (2012).
: Realization for Justification Logics via Nested Sequents: Modularity through Embedding. Annals of Pure and Applied Logic. 163, 1271-1298 (2012).
: Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21, 35-60 (2011).
: Partial Realization in Dynamic Justification Logic. In: Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. pp. 35-51 (2011).
: A Syntactic Realization Theorem for Justification Logics. In: Advances in Modal Logic, Volume 8. pp. 39-58. College Publications (2010).
: : Justified Belief Change. In: 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).
: Self-Referential Justifications in Epistemic Logic. Theory of Computing Systems. 46, 636-661 (2010).
: Two Ways to Common Knowledge. In: Proceedings of the 6th Workshop on Methods for Modalities (M4M–6 2009), Copenhagen, Denmark, 12–14 November 2009. pp. 83-98. Elsevier (2010).
: A Note on the Use of Sum in the Logic of Proofs. In: Proceedings of the 7th Panhellenic Logic Symposium. pp. 99-103. Patras University Press, Patras University, Greece (2009).
: Logical Omniscience as a Computational Complexity Problem. In: Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009). pp. 14-23. ACM, Stanford University, California (2009).
: The NP-completeness of reflected fragments of justification logics. In: Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).
: