Title: The informal semantics of modal logic
First published: 1982