Back to Search
Start Over
The semantics ofR4
- Source :
- Journal of Philosophical Logic. 22:95-110
- Publication Year :
- 1993
- Publisher :
- Springer Science and Business Media LLC, 1993.
-
Abstract
- The LogicR4 is obtained by adding the axiom ▭(A vB→(◊Av▭B) to the modal relevant logicNR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model forS4 in eachR4 model structure.
Details
- ISSN :
- 15730433 and 00223611
- Volume :
- 22
- Database :
- OpenAIRE
- Journal :
- Journal of Philosophical Logic
- Accession number :
- edsair.doi...........77d9a395572362177d78c143515c6032