On Independent Axiomatizability of Quasi-Normal Modal Logics |
| |
Authors: | Gorbunov Igor Shkatov Dmitry |
| |
Affiliation: | 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 等数据库收录! |
|