|
|||||
|
|
Rosser Provability and Normal Modal Logics |
|
| Authors: | Kurahashi Taishi |
| Affiliation: | 1.Department of Natural Science, National Institute of Technology, Kisarazu College, 2-11-1 Kiyomidai-higashi, Kisarazu, Chiba, 292-0041, Japan ; |
| Abstract: | Studia Logica - In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |