( en | de | ru )

 

Disambiguation of "Shamkanov, Daniyar S."

Author of the publication

copydeleteadd this publication to your clipboard
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.

, and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 569-583. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S Hüttelmaier

S Leopold

S Steinlechner

S Bachmann

S Hilt

 

Other publications of authors with the same name

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic., and . Rev. Symb. Log., 14 (1): 22-50 (2021)On algebraic and topological semantics of the modal logic of common knowledge S4CI.. Log. J. IGPL, 32 (1): 164-179 (January 2024)Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs., and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 569-583. Springer, (2019)Global Neighbourhood Completeness of the Provability Logic GLP.. AiML, page 581-596. College Publications, (2020)Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 321-335. Springer, (2017)Non-Well-Founded Derivations in the Gödel-löB Provability Logic.. Rev. Symb. Log., 13 (4): 776-796 (2020)Strong Normalization and Confluence for Reflexive Combinatory Logic.. WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 228-238. Springer, (2011)Nested sequents for provability logic GLP.. Logic Journal of the IGPL, 23 (5): 789-815 (2015)Nested Sequents for Provability Logic GLP.. CoRR, (2014)Circular Proofs for Gödel-Löb Logic.. CoRR, (2014)