A Classically-Based Theory of Impossible Worlds (1997)

by E Zalta
Venue:Notre Dame Journal of Formal Logic