Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T18:01:39.047Z Has data issue: false hasContentIssue false
  • English
  • Français

PDL has interpolation

Published online by Cambridge University Press:  12 March 2014

Tomasz Kowalski
Tomasz Kowalski*
Affiliation:
Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, 923-1292 Ishikawa, Japan
Get access Rights & Permissions [Opens in a new window]

Abstract

It is proved that free dynamic algebras superamalgamate. Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 3 , September 2002 , pp. 933 - 946
Copyright
Copyright © Association for Symbolic Logic 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Hoogland, E., Algebraic characterizations of various Beth definability properties, ILLC preprint, 1999.Google Scholar
[2]Koppelberg, S., Handbook of boolean algebras (Monk, J. D. and Bonnet, R., editors), vol. 1, North Holland, 1989.Google Scholar
[3]Kracht, M., Tools and techniques in modal logic, Studies in logic and the foundations of mathematics, vol. 142, Elsevier, 1999.Google Scholar
[4]Madarász, J. X., Interpolation and amalgamation; pushing the limits. Part I, Studia Logica, vol. 61 (1998), pp. 311–345, Part II, Studia Logica vol. 62 [1999], pages 1–19.CrossRefGoogle Scholar
[5]Maksimova, L. L., Interpolation theorems in modal logics and amalgamable varieties of topological boolean algebras, Algebra and Logic, vol. 18 (1979), pp. 348–370.CrossRefGoogle Scholar
[6]Pratt, V., Dynamic algebras: Examples, constructions, applications, Studia Logica, vol. 50 (1991), pp. 571–601.CrossRefGoogle Scholar