Abstract

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

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call