First-Order Modal Logic: Frame Definability and a Lindström Theorem
Authors:
- 13 November 2017
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 106 (4) , 699-720
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A new coalgebraic Lindström theoremJournal of Logic and Computation, 2014
- A General Lindström Theorem for Some Normal Modal LogicsLogica Universalis, 2013
- Lindstrom theorems for fragments of first-order logicLogical Methods in Computer Science, 2009
- 9 First-order modal logic2007
- A New Modal Lindström TheoremLogica Universalis, 2007
- Interpolation for extended modal languagesThe Journal of Symbolic Logic, 2005
- Modal Logic2001
- First-Order Modal Logic1998
- Axiomatic classes in propositional modal logic1975
- On Extensions of Elementary LogicTheoria, 1969