|
|||||
|
|
Strong Cut-Elimination for Constant Domain First-Order S5 |
|
| Authors: | WANSING HEINRICH |
| Institution: | University of Leipzig, Institute of Logic and Philosophy of Science Augustusplatz 9, 04109 Leipzig, GermanyE-mail: wansing{at}rz.uni-leipzig.de |
| Abstract: | |
| Keywords: | strong cut-elimination modal logic S5 tableau calculi |
| 本文献已被 Oxford 等数据库收录！ | |