The first systematic introduction to the ternary relational frame theory for relevant logics that includes both modal and quantified extensions. For... Læs mere
The first systematic introduction to the ternary relational frame theory for relevant logics that includes both modal and quantified extensions. For... Læs mere