The disjunction property of intermediate propositional logics |
| |
| Authors: | Alexander Chagrov Michael Zakharyashchev |
| |
| Institution: | (1) Tver State University, Zhelyabova 33, 170013 Tver, USSR;(2) Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, USSR;(3) 125047 Moscow, USSR |
| |
| Abstract: | This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
