First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems
Reihane Zoghifard, Massoud Pourmahdian
TL;DR
This paper extends classical theorems in modal logic to the first-order setting, providing a deeper understanding of frame definability and logical characterization.
Contribution
It generalizes the Goldblatt-Thomason and Lindström theorems to first-order modal logic, advancing the theoretical foundations of the field.
Findings
Generalization of Goldblatt-Thomason theorem to first-order modal logic
Extension of Lindström theorem to first-order modal logic
New characterizations of frame definability in first-order modal logic
Abstract
This paper involves generalizing the Goldblatt-Thomason and the Lindstr\"om characterization theorems to first-order modal logic.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems