Fine’s Theorem on First-Order Complete Modal Logics (2011)

by Robert Goldblatt