This article is cited in 3 papers

Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

Yury Savateev^a, Daniyar Shamkanov<sup>b

a</sup> National Research University Higher School of Economics, Moskva, Russia
^b Steklov Mathematical Institute of the Russian Academy of Sciences, Moskva, Russia

Language: English

DOI: 10.1007/978-3-662-55386-2_23

Bibliographic databases:

• 
• 
•