Mostly Meyer modal models

Edwin D Mares


In this paper, it is shown that several modal relevant logics are complete over a semantics in which the truth conditions for the modal operators are the standard Kripkean truth conditions.This proof confirms most of a conjecture made by Meyer in Routley and his "Semantics of Entailment II" (Journal of Philosophical Logic I (1973)).

Full Text:



  • There are currently no refbacks.