PDL has interpolation
Kowalski, Tomasz
J. Symbolic Logic, Tome 67 (2002) no. 1, p. 933-946 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
It is proved that free dynamic algebras superamalgamate. Craig interpolation for proposi- tional dynamic logic and superamalgamation for the variety of dynamic algebras follow.
Publié le : 2002-09-14
Classification:  03C40,  03B70,  03G05 
@article{1190150141,
     author = {Kowalski, Tomasz},
     title = {PDL has interpolation},
     journal = {J. Symbolic Logic},
     volume = {67},
     number = {1},
     year = {2002},
     pages = { 933-946},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1190150141}
}

Kowalski, Tomasz. PDL has interpolation. J. Symbolic Logic, Tome 67 (2002) no. 1, pp.  933-946. http://gdmltest.u-ga.fr/item/1190150141/