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.
Similar content being viewed by others
References
K. A. Bowen, Normal modal model theory, Journal of Philosophical Logic 4 (1975), pp. 97–131.
K. A. Bowen, Model Theory for Modal Logic, D. Reidel, Dordrecht 1978, pp. viii + 127.
D. Harel, A. R. Meyer and V. R. Pratt, Computability and completeness in logics of programs, preliminary report, 1977.
S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica 16 (1963), pp. 83–94.
V. R. Pratt, Semantical considerations on Floyd-Hoare logic, 17th. IEEE Symposium on Foundations of Computer Science (1976), pp. 109–121.
A. Robinson, Introduction to Model Theory and to the Metamathematics of Algebra, North-Holland, Amsterdam 1965.
J. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, Mass., 1967 pp. vii + 344.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bowen, K.A. Interpolation in loop-free logic. Stud Logica 39, 297–310 (1980). https://doi.org/10.1007/BF00370326
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370326