The complexity of reasoning with boolean modal logics (2001)

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