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, 等
出版事項: (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)