A Note on Linear Kripke Models
Rosalie Iemhoff · Journal of Logic and Computation · 2005
Gödel logics correspond to linear models with constant domains. In this paper other truth value logics, Scott logics, are defined, that correspond to linear models with possibly non-constant domains. An extension of intuitionistic logic with an existence predicate is discussed, and it is shown that this provides a natural translation of Scott logics into Gödel logics extended by this predicate.