Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, Lecture Notes in Comput. Sci., 2019, Volume 11541,Pages <nobr>569

JOURNALS // Lecture Notes in Computer Science // Archive

Lecture Notes in Comput. Sci., 2019, Volume 11541, Pages 569–583 (Mi lncs38)

This article is cited in 1 paper

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

Yury Savateev^a, Daniyar Shamkanov^b

^a National Research University Higher School of Economics, Moscow, Russia
^b Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia

Language: English

DOI: 10.1007/978-3-662-59533-6_34

Bibliographic databases: