|
This article is cited in 1 scientific paper (total in 1 paper)
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
Yury Savateeva, Daniyar Shamkanovb a National Research University Higher School of Economics, Moscow, Russia
b Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia
Linking options:
https://www.mathnet.ru/eng/lncs38
|
Statistics & downloads: |
Abstract page: | 109 |
|