First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems

arxiv: 1602.00201 · v2 · pith:D4LPVVZCnew · submitted 2016-01-31 · 🧮 math.LO

Reihane Zoghifard , Massoud Pourmahdian This is my paper

classification 🧮 math.LO

keywords first-orderlindstrlogicmodaltheoremscharacterizationdefinabilityframe

0 comments

read the original abstract

This paper involves generalizing the Goldblatt-Thomason and the Lindstr\"om characterization theorems to first-order modal logic.

This paper has not been read by Pith yet.