PDL has interpolation

DOI10.2178/JSL/1190150141zbMATH Open1013.03029OpenAlexW1984616471MaRDI QIDQ4779643FDOQ4779643

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

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

zbMATH Keywords

propositional dynamic logicCraig interpolationfree dynamic algebrassuperamalgamationvariety of dynamic algebras

Mathematics Subject Classification ID

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

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)

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

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)