On the complexity of elementary modal logics (2008)

by E Hemaspaandra, H Schnoor
Venue:In Proceedings of the 25nd Symposium on Theoretical Aspects of Computer Science