Modal logic with names (1993)

by G Gargov, V Goranko
Venue:Journal of Philosophical Logic