A Splitting Logic in NExt(KTB) |
| |
| Authors: | Yutaka Miyazaki |
| |
| Affiliation: | (1) Meme Media Laboratory, Hokkaido University, Kita 13 Nishi 8, Kita-Ku, Sapporo, 060-8628, JAPAN |
| |
| Abstract: | It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB. Presented by Michael Zakharyaschev Received February 17, 2006 |
| |
| Keywords: | KTB splitting |
| 本文献已被 SpringerLink 等数据库收录！ |
|
