Title: An introducation to modal logic
First published: 1968