Title: Complexity of modal logics
First published: 1993