Daniyar Shamkanov

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$2025
• A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$2025
• Фрагменты арифметики и циклические выводы2025
• Fragments of arithmetic and cyclic proofs2025
• Fragments of arithmetic and cyclic proofs2025
• Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs2017
• A realization theorem for the Gödel-Löb provability logic2016 · аннотациясвернуть

  We present a new justification logic corresponding to the Godel-Lob provability logic and prove the realization theorem connecting these two systems in such a way that all the realizations provided in the theorem are…

• Nested sequents for provability logic GLP: FIG. 1.2015 · аннотациясвернуть

  We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment…