59 citations · 185 across the 53 of their papers we have counts for
1 paper · 1 filter
Lutz Schröder, Dirk Pattinson
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is…