Continuum many maximal consistent normal bimodal logics with inverses
The paper considers extensions of a normal bimodal logic KL in which the two necessity operators are mutual one-sided inverses. A continuum of maximal consistent normal extensions of KL is constructed, each of which has infinitely many quasi-normal Post complete extensions. Some syntactic properties...
主要作者: | Williamson, T |
---|---|
其他作者: | University of Notre Dame |
格式: | Journal article |
语言: | English |
出版: |
Duke University Press
1998
|
主题: |
相似书籍
-
Inverses for normal modal operators
由: Humberstone, L, et al.
出版: (1997) -
Review: Logics of provability
由: Williamson, T
出版: (1996) -
First-order logics for comparative similarity
由: Williamson, T
出版: (1988) -
Non-genuine MacIntosh logics
由: Williamson, T
出版: (1994) -
Assertion, denial and some cancellation rules in modal logic
由: Williamson, T
出版: (1988)