Title: Multi-dimensional modal logic
First published: 1997
Subjects: Modality (Logic)
LC classification: QA9.46 .M37 1997