|
|||||
|
|
On Inclusions Between Quantified Provability Logics |
|
| Authors: | Kurahashi Taishi |
| Institution: | 1.Graduate School of System Informatics, Kobe University, 1-1 Rokkodai, Nada, Kobe, 657-8501, Japan ; |
| Abstract: | Studia Logica - We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |