Daniyar Shamkanov

Available identifiers

Publication	Date of Publication	Type
On structural proof theory of the modal logic K+ extended with infinitary derivations	2023-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q5104727	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	2021-07-22	Paper
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC	2021-05-11	Paper
Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs	2020-03-04	Paper
Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics	2019-07-24	Paper
Nested sequents for provability logic GLP: FIG. 1.	2019-01-08	Paper
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs	2018-04-03	Paper
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs	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	2017-01-30	Paper
Circular proofs for the Gödel-Löb provability logic	2015-05-11	Paper
Interpolation properties for provability logics GL and GLP	2014-08-04	Paper
Strong Normalization and Confluence for Reflexive Combinatory Logic	2011-05-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniyar Shamkanov