|
|||||
|
|
Cut-free double sequent calculus for S5 |
|
| Authors: | Indrzejczak A |
| Institution: | Department of Logic, University of Lodz, Matejki 34a, 90-237 Lodz, Poland E-mail: indrzej@krysia.uni.lodz.pl |
| Abstract: | |
| Keywords: | modal logic S5 sequent calculi |
| 本文献已被 Oxford 等数据库收录！ | |