PDL has interpolation

DOI10.2178/jsl/1190150141zbMath1013.03029OpenAlexW1984616471MaRDI QIDQ4779643

Tomasz Kowalski

Publication date: 27 November 2002

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

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

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)

Related Items (1)

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

Cites Work

• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Dynamic algebras: Examples, constructions, applications
• Interpolation and amalgamation; pushing the limits. I

This page was built for publication: PDL has interpolation