Title: Expressivity and definability in extended modal languages
First published: 1995
Subjects: Modality (Logic)
LC classification: QA9.46 .H45 1995