Title: Modal logic
First published: 1997
Subjects: Modality (Logic), Modality (logic)
LC classification: QA9.46 .C47 1997