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 of maximal consistent normal bimodal logics and in particular of such extentions of KL are investigated.
- Publication status:
- Peer review status:
- Peer reviewed
- Publisher's version
- Copyright holder:
- University of Notre Dame
- Copyright date:
- N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record