|previous article in this issue|
Document Details :
Title: Pure Term Models for Modal, Intensional Set Theory
Author(s): HINNION, Roland
Journal: Logique et Analyse
Volume: 244 Date: 2018
This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.