PDL has interpolation

DOI10.2178/JSL/1190150141MaRDI QIDQ4779643zbMATH OpenOpenAlexFDO

Authors 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 interpolationfree dynamic algebraspropositional dynamic logicsuperamalgamationvariety of dynamic algebras

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 759506
• scientific article; zbMATH DE number 5270106
• Interpolation†
• Interpolation
• Interpolation
• A generalization of Pal-type interpolation
• scientific article; zbMATH DE number 3876457
• scientific article; zbMATH DE number 810883
• A new class of Pál type interpolation
• Pál-type interpolation on nonuniformly distributed points

Cites work

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

Cited in

(2)

• A note on constructive interpolation for the multi-modal logic \(K_m\)
• (Heterogeneous) structured specifications in logics without interpolation

This page was built for publication: PDL has interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779643)