First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems
Logic
2016-05-31 v2
Abstract
This paper involves generalizing the Goldblatt-Thomason and the Lindstr\"om characterization theorems to first-order modal logic.
Keywords
Cite
@article{arxiv.1602.00201,
title = {First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems},
author = {Reihane Zoghifard and Massoud Pourmahdian},
journal= {arXiv preprint arXiv:1602.00201},
year = {2016}
}