
1 - An essay in modal logic |
2 - Logique moderne. Fascicule III : implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Lesniewski |
3 - Modal logics |
4 - Models for modalities : selected essays |
5 - Philosophical problems in logic : some recent developments |
6 - Provability, complexity, grammars |
7 - Time and modality : Being the John Locke lectures for 1955-56 delivered in the University of Oxford |