- 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.
Continuum many maximal consistent normal bimodal logics with inverses
If you are the owner of this record, you can report an update to it here: Report update to this record