Interpolation in loop-free logic

Studia Logica 39 (2-3):297 - 310 (1980)
  Copy   BIBTEX

Abstract

Model-theoretic methods are used to extend Craig's Interpolation Theorem to the loop-free portion of Pratt's dynamic logic of programs with simple assignments.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
28 (#837,946)

6 months
9 (#328,796)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.

Add more references