Retraction note for “PDL has interpolation”

DOI10.2178/jsl/1096901777zbMath1067.03043OpenAlexW2027698441MaRDI QIDQ5311763

Tomasz Kowalski

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1096901777

zbMATH Keywords

Craig interpolationpropositional dynamic logicfree dynamic algebrassuperamalgamationvariety of dynamic algebras

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40)

Related Items (1)

A note on constructive interpolation for the multi-modal logic \(K_m\)

This page was built for publication: Retraction note for “PDL has interpolation”