Abstract
It is proved that free dynamic algebras superamalgamate. Craig interpolation for proposi- tional dynamic logic and superamalgamation for the variety of dynamic algebras follow.
Citation
Tomasz Kowalski. "PDL has interpolation." J. Symbolic Logic 67 (3) 933 - 946, September 2002. https://doi.org/10.2178/jsl/1190150141
Information
Published: September 2002
First available in Project Euclid: 18 September 2007
zbMATH: 1013.03029
MathSciNet: MR1925950
Digital Object Identifier: 10.2178/jsl/1190150141
Subjects:
Primary:
03C40
Secondary:
03B70
,
03G05
Rights: Copyright © 2002 Association for Symbolic Logic