|
This article is cited in 3 scientific papers (total in 3 papers)
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
Yury Savateeva, Daniyar Shamkanovb a National Research University Higher School of Economics, Moskva, Russia
b Steklov Mathematical Institute of the Russian Academy of Sciences,
Moskva, Russia
Linking options:
https://www.mathnet.ru/eng/lncs18
|
Statistics & downloads: |
Abstract page: | 137 |
|