3 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Robert Goldblatt
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We genera…