• Citer

Pure term models for modal, intensional set theory

par Hinnion, Roland
Référence Logique et analyse, 244, page (513-520)
Publication Publié, 2018

Article révisé par les pairs

• Détails
• Contenu

Résumé :

This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4.