PSPACE bounds for rank 1 modal logics (2006)

by L Schröder, D Pattinson
Venue:In LICS’06