Saturation-based uniform interpolation for multi-modal logics

MaRDI QIDQ5884935zbMATH OpenFDO

Authors Renate A. Schmidt, Uli Sattler

Publication date 24 March 2023

zbMATH Keywords

bisimulationsresolutionuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Recommendations

• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation in coalgebraic modal logic
• Uniform interpolation via nested sequents

Cited in

(2)

• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Computing witnesses using the SCAN algorithm

This page was built for publication: Saturation-based uniform interpolation for multi-modal logics

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