|
|||||
|
|
On Independent Axiomatizability of Quasi-Normal Modal Logics |
|
| Authors: | Gorbunov Igor Shkatov Dmitry |
| Institution: | 1.Department of Mathematics, Tver State University, 33 Zhelyabova str., Tver, Russia ;2.School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, WITS 2050, South Africa ; |
| Abstract: | Studia Logica - We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |