Abstract
We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic (FML, for short). We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML has the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2002.
Braüner, T., and S. Ghilardi, First-Order Modal Logic, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, Elsevier Science Publishers, Amsterdam, 2006, pp. 549–620.
de Rijke, M., A Lindström theorem for modal logic, in A. Ponse, M. de Rijke, and Y. Venema, (eds.), Modal Logic and Process Algebra: A Bisimulation Perspective, CSLI Publications, Standford, 1995, pp. 217–230.
Enqvist, S., A General Lindström Theorem for Some Normal Modal Logics, Logica Universalis 7(2):233–264, 2013.
Enqvist, S., A new coalgebraic Lindström theorem, Journal of Logic and Computation 26(5):1541–1566, 2016.
Fitting, M., and R.L. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht, 1998.
Flum, J., Characterizing logics, in J. Barwise and S. Feferman, (eds.), Model-Theoretic Logics, Springer-Verlag, Berlin, 1985, pp. 77–120.
Gabbay, D., V. Shehtman and D. Skvortsov, Quantification in Nonclassical Logic, Elsevier, Amsterdam, 2009.
Goldblatt, R.I., and S.K. Thomason, Axiomatic classes in propositional modal logic, in J. Crossley, (ed.), Algebra and Logic, Springer, Berlin, 1974, pp. 163–173.
Hodges, W., Model Theory, Cambridge University Press, Cambridge, 1993.
Hughes, G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, Abingdon, 1996.
Kurz, A., and J. Rosický, The Goldblatt-Thomason Theorem for Coalgebras, in T. Mossakowski, U. Montanari, and M. Haveraaen, (eds.), CALCO 2007, Springer-Verlag, Berlin, 2007, pp. 342–355.
Kurz, A., and Y. Venema, Coalgebraic Lindström Theorems, in V. Goranko, L. Beklemishev, and V. Shehtman, (eds.), Advances in modal logic, College Publications, San Diego, 2010, pp. 292–309.
Lethinen, S., Generalizing the Goldblatt-Thomason Theorem and Modal Definability, Ph.D. thesis, University of Tampere, 2008.
Lindström, P., On extensions of elementary logic, Theoria 35:1–11, 1969.
Otto, M., and R. Piro, A Lindström characterisation of the guarded fragment and of modal logic with a global modality, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic, College Publications, San Diego, 2008, pp. 273–287.
Sano, K., and M. Ma, Goldblatt-Thomason Style Theorems for Graded Modal Language, in V. Goranko, L. Beklemishev, and V. Shehtman, (eds.), Advances in Modal Logic, College Publications, San Diego, 2010, pp. 330–349.
ten Cate, B., Model theory for extended modal languages, Ph.D. thesis, University of Amsterdam, Institute for Logic, Language and Computation, 2005.
van Benthem, J., A new modal Lindström theorem, Logica Universalis 1(1):125–138, 2007.
van Benthem, J., B. ten Cate, and J.A. Väänänen, Lindström theorems for fragments of first-order logic, Logical Methods in Computer Science 5(3):1–27, 2009.
van Benthem, J., Frame Correspondences in Modal Predicate Logic, in S. Feferman and W. Sieg, (eds.), Proofs, categories and computations: essays in honor of Grigori Mints, College Publications, San Diego, 2010.
van Benthem, J., Modal Logic for Open Minds, Center for the Study of Language and Information, 2010.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Yde Venema
Rights and permissions
About this article
Cite this article
Zoghifard, R., Pourmahdian, M. First-Order Modal Logic: Frame Definability and a Lindström Theorem. Stud Logica 106, 699–720 (2018). https://doi.org/10.1007/s11225-017-9762-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9762-8