The complexity of reasoning with boolean modal logics (2001)

by C Lutz, U Sattler
Venue:In Advances in Modal Logics Volume 3. CSLI