|
|||||
|
|
Kripke Incomplete Logics Containing KTB |
|
| Authors: | Yutaka Miyazaki |
| Affiliation: | (1) Meme Media Laboratory, Hokkaido University, West8, North13, Kita-ku, Sapporo, Hokkaido 060-8628, Japan |
| Abstract: | It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □2 p → □3 p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □5 p → □6 p). Presented by Michael Zakharyaschev |
| Keywords: | KTB Kripke incompleteness |
| 本文献已被 SpringerLink 等数据库收录！ | |