Interpolation with Decidable Fixpoint Logics
From MaRDI portal
Publication:4635819
DOI10.1109/LICS.2015.43zbMath1394.03051OpenAlexW1501618356WikidataQ110923655 ScholiaQ110923655MaRDI QIDQ4635819
Balder ten Cate, Michael Benedikt, 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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Interpolation, preservation, definability (03C40)
Related Items (2)
Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
This page was built for publication: Interpolation with Decidable Fixpoint Logics
