Title: A companion to modal logic
First published: 1984
Subjects: Modality (Logic), Logic
LC classification: BC199.M6 H795 1984