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
- Copyright holder:
- University of Notre Dame
- Copyright date:
- N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.
If you are the owner of this record, you can report an update to it here: Report update to this record