] Filters: Author is Kuznets, Roman [Clear All Filters]
.
2012. Lower complexity bounds in justification logic. Annals of Pure and Applied Logic. 163:888–905. Abstract
.
2012. Realization for Justification Logics via Nested Sequents: Modularity through Embedding. Annals of Pure and Applied Logic.
.
2011. Justifications for Common Knowledge. Journal of Applied Non-classical Logics. 21(1):35-60.
.
2011. Partial Realization in Dynamic Justification Logic. Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011, Proceedings. 6642:35-51.
.
2010. Self-Referential Justifications in Epistemic Logic. Theory of Computing Systems. 46:636–661. Abstract
.
2010. Two Ways to Common Knowledge. Proceedings of the 6th Workshop on {M}ethods for {Modalities} ({M4M–6 2009}), {C}openhagen, {D}enmark, 12–14 {N}ovember 2009. :83–98. Abstract
.
2010. Justified Belief Change. Proceedings of the {S}econd {ILCLI} {I}nternational {W}orkshop on {L}ogic and {P}hilosphy of {K}nowledge, {C}ommunication and {A}ction ({L}og{KCA}-10). :135–155. Abstract
.
2010. A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic, Volume 8. :39–58. Abstract
.
2009. Logical Omniscience as a Computational Complexity Problem. Theoretical {A}spects of {R}ationality and {K}nowledge, Proceedings of the Twelfth Conference ({TARK 2009}). :14–23. Abstract
.
2009. The NP-completeness of reflected fragments of justification logics. Proceedings of {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'09). 5407:122-136. Abstract
.
2009. A Note on the Use of Sum in the Logic of Proofs. Proceedings of the 7th {P}anhellenic {L}ogic {S}ymposium. :99–103.
