12 citations · 12 across the 1 of their papers we have counts for
1 paper
Lutz Schröder, Dirk Patinson
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed…