Journal of Logic, Language and Information

, Volume 6, Issue 4, pp 427–439 | Cite as

Modal Logic over Finite Structures

  • Eric Rosen


We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a ♦-modal formula.

modal logic finite model theory preservation theorems 


  1. Andréka, H., van Benthem, J., and Németi, I., 1995, "Back and forth between modal logic and classical logic," Journal of the IGPL 3(5), 685–720.Google Scholar
  2. Barwise, J., 1977, "On Moschovakis closure ordinals," Journal of Symbolic Logic 42, 292–296.Google Scholar
  3. van Benthem, J., 1976, "Modal correspondence theory," Ph.D. Thesis, University of Amsterdam.Google Scholar
  4. van Benthem, J., 1985, Modal Logic and Classical Logic, Naples: Bibliopolis.Google Scholar
  5. Fagin, R., Stockmeyer, L., and Vardi, M.Y., 1995, "On monadic NP vs monadic co-NP," Information and Computation 120, 78–92.Google Scholar
  6. Gurevich, Y., 1984, "Toward logic tailored for computational complexity," pp. 175–216 in Computation and Proof Theory, M. Richter et al., eds., Berlin: Springer-Verlag.Google Scholar
  7. Hennessy, M. and Milner, R., 1985, "Algebraic laws for nondeterminism and concurrency," Journal of the Association for Computing Machinery 32, 137–161.Google Scholar
  8. Hodges, W., 1993, Model Theory, Cambridge: Cambridge University Press.Google Scholar
  9. Sahlqvist, H., 1975, "Completeness and correspondence in the first and second order semantics for modal logic," pp. 110–143 in Proceedings of the Third Scandinavian Logic Symposium, S. Kanger, ed., Amsterdam: North-Holland.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Eric Rosen
    • 1
  1. 1.Mathematische Grundlagen der InformatikRWTHAachenGermany

Personalised recommendations