First-Order Modal Logic: Frame Definability and Lindström Theorems
arXiv:1602.00201
Abstract
This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.
arXiv:1602.00201
This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.