Intensional logics without iterative axioms (1975)

by D Lewis
Venue:J. Philos. Logic