15 citations · 17 across the 4 of their papers we have counts for
1 paper · 2 filters
Robert Goldblatt, Ian Hodkinson
We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones…