PSPACE bounds for rank 1 modal logics (2006)

by Lutz Schröder , Dirk Pattinson
Venue:IN LICS’06
Citations:25 - 15 self

Document Versions

PSPACE bounds for rank 1 modal logics –Lutz Schröder, Dirk Pattinson — 2006 — IN LICS’06
PSPACE bounds for rank 1 modal logics –Lutz Schröder, Dirk Pattinson — 2006 — LOGIC IN COMPUTER SCIENCE, LICS 06. IEEE
PSPACE bounds for rank-1 modal logics –Lutz Schröder, Dirk Pattinson — 2008
PSPACE bounds for rank 1 modal logics –Lutz Schröder, Dirk Pattinson — 2006 — LOGIC IN COMPUTER SCIENCE, LICS 06. IEEE