Models for relevant modal logics
- Cite this article as:
- Fuhrmann, A. Studia Logica (1990) 49: 501. doi:10.1007/BF00370161
- 44 Views
Semantics are given for modal extensions of relevant logics based on the kind of frames introduced in . By means of a simple recipe we may obtain from a class FRM (L) of unreduced frames characterising a (non-modal) logic L, frame-classes FRM□ (L.M) characterising conjunctively regular modal extensions L.M of L. By displaying an incompleteness phenomenon, it is shown how the recipe fails when reduced frames are under consideration.