Interpolation with decidable fixpoint logics

DOI10.1109/LICS.2015.43MaRDI QIDQ4635819zbMATH OpenOpenAlexWikidataFDO

Authors Michael Benedikt, Balder ten Cate, Michael Vanden Boom

Publication date 23 April 2018

Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2015.43

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Recommendations

• Uniform interpolation for coalgebraic fixpoint logic
• Uniform interpolation in coalgebraic modal logic
• Unary negation
• Unary negation
• scientific article; zbMATH DE number 7104937

Cited in

(13)

• Uniform interpolation from cyclic proofs: the case of modal mu-calculus
• An interpolation theorem
• Interpolation in practical formal development
• Unary negation
• Unary negation
• Interpolants for Linear Arithmetic in SMT
• On Interpolation and Automatization for Frege Systems
• Interpolation theorems for some variants of LTL
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments
• Interpolation and the interpretability logic of PA

This page was built for publication: Interpolation with decidable fixpoint logics

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