PSPACE reasoning for rank-1 modal logics (0)

by L Schröder, D Pattinson
Venue:In Logic in Computer Science, LICS