Circular proofs for the Gödel-Löb provability logic DS Shamkanov
Mathematical Notes 96, 575-585, 2014
51 2014 Circular proofs for the Gödel-Löb provability logic DS Shamkanov
Mathematical Notes 96, 575-585, 2014
51 2014 Circular proofs for the Gödel-Löb provability logic DS Shamkanov
Mathematical Notes 96, 575-585, 2014
51 2014 Non-well-founded proofs for the Grzegorczyk modal logic Y Savateev, D Shamkanov
The Review of Symbolic Logic 14 (1), 22-50, 2021
16 2021 Interpolation properties for provability logics GL and GLP DS Shamkanov
Proceedings of the Steklov Institute of Mathematics 274 (1), 303-316, 2011
13 2011 A realization theorem for the Gödel-Löb provability logic DS Shamkanov
Sbornik: Mathematics 207 (9), 1344, 2016
9 2016 Nested sequents for provability logic GLP D Shamkanov
Logic Journal of the IGPL 23 (5), 789-815, 2015
8 2015 Some abstract versions of G\" odel's second incompleteness theorem based on non-classical logics L Beklemishev, D Shamkanov
arXiv preprint arXiv:1602.05728, 2016
5 2016 Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs Y Savateev, D Shamkanov
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
4 2019 Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs Y Savateev, D Shamkanov
International Workshop on Logic, Language, Information, and Computation, 321-335, 2017
4 2017 Non–well-founded derivations in the Gödel-Löb provability logic D Shamkanov
The Review of Symbolic Logic 13 (4), 776-796, 2020
3 2020 Global neighbourhood completeness of the Gödel-Löb provability logic D Shamkanov
International Workshop on Logic, Language, Information, and Computation, 358-370, 2017
3 2017 Strong normalization and confluence for reflexive combinatory logic DS Shamkanov
Logic, Language, Information and Computation: 18th International Workshop …, 2011
3 2011 Global Neighbourhood Completeness of the Provability Logic GLP. DS Shamkanov
AiML, 581-596, 2020
2 2020 Circular Proofs for G\" odel-L\" ob Logic D Shamkanov
arXiv preprint arXiv:1401.4002, 2014
2 2014 On algebraic and topological semantics of the modal logic of common knowledge S4C I D Shamkanov
Logic Journal of the IGPL 32 (1), 164-179, 2024
1 2024 On structural proof theory of the modal logic K+ extended with infinitary derivations D Shamkanov
arXiv preprint arXiv:2310.10309, 2023
1 2023 A realization theorem for the modal logic of transitive closure D Shamkanov
arXiv preprint arXiv:2402.04027, 2024
2024 On global algebraic completeness of the Gödel-Löb provability logic D Shamkanov, N TACL
2019 Circular Proofs for Gödel-Löb Logic D Shamkanov
arXiv preprint arXiv:1401.4002, 2014
2014 