Daniyar Shamkanov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fragments of arithmetic and cyclic proofs Sbornik: Mathematics	2026-01-29	Paper
On algebraic and topological semantics of the modal logic of common knowledge $\mathsf{S4}^C_I$ Logic Journal of the IGPL	2024-11-15	Paper
On structural proof theory of the modal logic K+ extended with infinitary derivations	2023-10-16	Paper
scientific article; zbMATH DE number 7585734 (Why is no real title available?)	2022-09-15	Paper
On algebraic and topological semantics of the modal logic of common knowledge S4CI	2021-11-10	Paper
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC The Review of Symbolic Logic	2021-07-22	Paper
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC The Review of Symbolic Logic	2021-05-11	Paper
Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs (available as arXiv preprint)	2020-03-04	Paper
Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics (available as arXiv preprint)	2019-07-24	Paper
Nested sequents for provability logic GLP: FIG. 1. Logic Journal of the IGPL	2019-01-08	Paper
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs (available as arXiv preprint)	2018-04-03	Paper
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs (available as arXiv preprint)	2017-12-20	Paper
Global neighbourhood completeness of the Gödel-Löb provability logic	2017-12-20	Paper
A realization theorem for the Gödel-Löb provability logic Sbornik: Mathematics	2017-01-30	Paper
Circular proofs for the Gödel-Löb provability logic Mathematical Notes	2015-05-11	Paper
Interpolation properties for provability logics GL and GLP Proceedings of the Steklov Institute of Mathematics	2014-08-04	Paper
Strong normalization and confluence for reflexive combinatory logic Logic, Language, Information and Computation	2011-05-27	Paper
A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$ (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Daniyar Shamkanov