First steps in modal logic /
Popkorn, Sally.
Cambridge : Cambridge University Press,
1994.