Modal logic over finite structures

Journal of Logic, Language and Information

Volumn 6, Issue 4, 1997, Pages 427-439

  Rosen, Eric ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Finite model theory; Modal logic; Preservation theorems

Indexed keywords

EID: 0000013740     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008275906015     Document Type: Article

References (9)

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.
2. Barwise, J., 1977, "On Moschovakis closure ordinals," Journal of Symbolic Logic 42, 292-296.
3. van Benthem, J., 1976, "Modal correspondence theory," Ph.D. Thesis, University of Amsterdam.
4. van Benthem, J., 1985, Modal Logic and Classical Logic, Naples: Bibliopolis.
5. Fagin, R., Stockmeyer, L., and Vardi, M.Y., 1995, "On monadic NP vs monadic co-NP," Information and Computation 120, 78-92.
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.
7. Hennessy, M. and Milner, R., 1985, "Algebraic laws for nondeterminism and concurrency," Journal of the Association for Computing Machinery 32, 137-161.
8. Hodges, W., 1993, Model Theory, Cambridge: Cambridge University Press.
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.