Uniform Interpolation by Resolution in Modal Logic

DOI10.1007/978-3-540-87803-2_19zbMath1178.03032OpenAlexW1602801054MaRDI QIDQ3532469

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)

Related Items (4)

Semantic forgetting in expressive description logics ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ Forgetting in multi-agent modal logics

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