|
|||||
|
|
Modal Companions of $$K4^{+}$$ |
|
| Authors: | Svyatlovskiy Mikhail |
| Institution: | 1.Department of Applied Mathematics and Informatics, Moscow Institute of Physics and Technology, Pervomayskaya str., 31, Dolgoprudny, Moscow Region, Russia ; |
| Abstract: | Studia Logica - We study modal companions of $$K4^+$$ , the strictly positive fragment of K4. We partially find the boundary between all normal extensions of K4 and modal companions of $$K4^+$$... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |