论文信息 - First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems - 字舞流文

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

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

Massoud Pourmahdian | Reihane Zoghifard

[1] Robert Piro,et al. A Lindström characterisation of the guarded fragment and of modal logic with a global modality , 2008, Advances in Modal Logic.

[2] M. de Rijke. Extending modal logic , 1993 .

[3] Sebastian Enqvist,et al. A General Lindström Theorem for Some Normal Modal Logics , 2013, Logica Universalis.

[4] J.F.A.K. van Benthem,et al. Frame correspondences in modal predicate logic , 2010 .

[5] J.F.A.K. van Benthem,et al. Modal Logic for Open Minds , 2010 .

[6] B. T. Cate,et al. Model theory for extended modal languages , 2005 .

[7] Johan van Benthem,et al. A New Modal Lindström Theorem , 2007, Logica Universalis.

[8] Yde Venema,et al. Coalgebraic Lindström Theorems , 2010 .

[9] Torben Braüner,et al. First-order modal logic , 2007, Handbook of Modal Logic.

[10] Minghui Ma,et al. Goldblatt-Thomason-style Theorems for Graded Modal Language , 2010, Advances in Modal Logic.

[11] Suvi-Leena Lehtinen,et al. Generalizing the Goldblatt-Thomason Theorem and Modal Definability , 2008 .

[12] M. de Rijke,et al. Modal Logic and Process Algebra: A Bisimulation Perspective , 1996 .

[13] Sebastian Enqvist,et al. A new coalgebraic Lindström theorem , 2016, J. Log. Comput..

[14] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[15] Johan van Benthem,et al. Lindstrom theorems for fragments of first-order logic , 2007, LICS.

[16] Per Lindström,et al. On Extensions of Elementary Logic , 2008 .