59 citations · 185 across the 53 of their papers we have counts for
1 paper · 2 filters
Lutz Schröder, Dirk Pattinson
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well u…