PDL has interpolation
- 1 September 2002
- journal article
- retracted article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 67 (3), 933-946
- https://doi.org/10.2178/jsl/1190150141
Abstract
It is proved that free dynamic algebras superamalgamate. Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow.Keywords
This publication has 3 references indexed in Scilit:
- Interpolation and Amalgamation; Pushing the Limits. Part IStudia Logica, 1998
- Dynamic algebras: Examples, constructions, applicationsStudia Logica, 1991
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebrasAlgebra and Logic, 1979