Uniform Interpolation by Resolution in Modal Logic

DOI10.1007/978-3-540-87803-2_19MaRDI QIDQ3532469zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Jérôme Mengin

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_19

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Uniform interpolation and propositional quantifiers in modal logics
• Forgetting in multi-agent modal logics
• Deciding the existence of uniform interpolants over transitive models
• Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies
• Uniform interpolation in coalgebraic modal logic

Cited in

(11)

• Uniform interpolation and sequent calculi in modal logic
• Multicomponent proof-theoretic method for proving interpolation properties
• Uniform Lyndon interpolation for basic non-normal modal logics
• Forgetting in multi-agent modal logics
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies
• Uniform interpolation and forgetting for large-scale ontologies with application to semantic difference in SNOMED CT
• Uniform Lyndon interpolation property in propositional modal logics
• Semantic forgetting in expressive description logics
• Uniform interpolation and propositional quantifiers in modal logics

This page was built for publication: Uniform Interpolation by Resolution in Modal Logic

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