In this paper we discuss whether the relation between formulasin a relating model can be directly introduced into the language of therelating logic it is interpreting, and present some stances on that problem.Other questions in the vicinity, such as what kind of functor would be theincorporated relation, or whether the direct incorporation of the relationinto the language of relating logic is really needed, will also be addressed.
|Numero di pagine||29|
|Rivista||Logic and Logical Philosophy|
|Stato di pubblicazione||Pubblicato - 2021|
- relating logic
- relating semantics