Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof

MaRDI QIDQ7170524arXivFDO

Authors Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen, Revantha Ramanayake, Valentina Trucco Dalmas, Yde Venema

Publication date 2025

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof

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