Interpolation in modal logic

DOI10.1007/3-540-49253-4_13MaRDI QIDQ4250364zbMATH OpenFDO

Authors Maarten Marx

Publication date 17 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49253-4_13

zbMATH Keywords

bisimulationconsistencyfiberinginterpolationmodal logicmodal logics of knowledge and belief

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1062287
• Interpolation in non-classical logics
• Interpolation in practical formal development
• Proving Craig and Lyndon interpolation using labelled sequent calculi

Cited in

(15)

• Interpolation in computing science: The semantics of modularization
• Interpolation in non-classical logics
• Restricted interpolation over modal logic S4
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• scientific article; zbMATH DE number 1850736 (Why is no real title available?)
• Guarded negation
• Failure of interpolation in combined modal logics
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Uniform guarded fragments
• Craig interpolation for awareness logics
• Failure of interpolation in relevant logics
• Agent interpolation in distributed systems
• A non-uniform view of Craig interpolation in modal logics with linear frames
• Interpolation and the interpretability logic of PA

This page was built for publication: Interpolation in modal logic

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