Robert Goldblatt

Fine's Theorem on First-Order Complete Modal Logics

2016 · arXiv (Cornell University)

Fine's influential Canonicity Theorem states that if a modal logic is determined by a first-order definable class of Kripke frames, then it is valid in its canonical frames. This article reviews the background and context …