Article contents
PDL has interpolation
Published online by Cambridge University Press: 12 March 2014
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
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
- 2
- Cited by