The Logic of Exact Covers: Completeness and Uniform Interpolation
From MaRDI portal
Publication:5271079
DOI10.1109/LICS.2013.48zbMath1433.03058MaRDI QIDQ5271079
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Foundations, relations to logic and deductive systems (18A15)
Related Items (6)
Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ Forgetting in multi-agent modal logics ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
This page was built for publication: The Logic of Exact Covers: Completeness and Uniform Interpolation
