|
|||||
|
|
A cut-free Gentzen formulation of the modal logic S5 |
|
| Authors: | Brauner T |
| Institution: | Department of Computer Science, Roskilde University, PO Box 260, DK-4000 Roskilde, Denmark E-mail: torben@ruc.dk |
| Abstract: | |
| Keywords: | S5 modal logic Gentzen system cut-elimination |
| 本文献已被 Oxford 等数据库收录！ | |