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)