PDL has interpolation Academic Article uri icon

abstract

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

publication date

  • September 2002