Complexity of modal logic. (2007)

by M Marx
Venue:In Handbook of modal logic,