Interpolation and preservation in mlw

Notre Dame Journal of Formal Logic

Volumn 39, Issue 2, 1998, Pages 190-211

  Sturm, Holger ^a  

^a Institut für Philosophie   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84866961591     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039293062     Document Type: Article

References (12)

1. Barwise, J., and J. van Benthem, “Interpolation, preservation, and pebble games,” Technical Report, ILLC, University of Amsterdam, Amsterdam, 1996.
2. Barwise, J., and L. Moss, Vicious Circles, CSLI Publications, Stanford, 1996.
3. de Rijke, M., Extending Modal Logic, Ph.D. thesis, ILLC, University of Amsterdam, Amsterdam, 1993.
4. Makkai, M., “On the model theory of denumerably long formulas with finite strings of quantifiers,” The Journal of Symbolic Logic, vol. 34 (1969), pp. 437-459.
5. Sahlqvist, H., “Completeness and correspondence in the first and second order semantics for modal logic,” pp. 110-143 in Proceedings of the Third Scandinavian Logic Symposium, Uppsala, 1973, edited by S. Kanger, North-Holland, Amsterdam, 1975.
6. w, Ph.D. thesis, CIS, University of Munich, Munich, 1997.
7. 1,” CIS, University of Munich, Munich, 1998.
8. van Benthem, J., Modal Correspondence Theory, Ph.D. thesis, Department of Mathematics, University of Amsterdam, Amsterdam, 1976.
9. van Benthem, J., “Programming operations that are safe for bisimulation,” CSLI Report, Stanford University, Stanford, 1993.
10. van Benthem, J., Exploring Logical Dynamics, CSLI Publications, Stanford, 1996.
11. Van Benthem, J., “Modality, bisimulation and interpolation in infinitary logic,” Technical Report, ILLC, University of Amsterdam, Amsterdam, 1997.
12. van Benthem, J., and J. Bergstra, “Logic of transition systems,” Journal of Logic, Language and Information, vol. 3 (1995), pp. 247-283.