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 S4CI 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 |