Basic concepts in modal logic

Edward N. Zalta

1995