Title: Displaying modal logic
First published: 1998
Subjects: Modality (Logic)
LC classification: BC199.M6 W36 1998