Resolution in Modal, Description and Hybrid Logic
From MaRDI portal
Publication:2772883
DOI10.1093/logcom/11.5.717zbMath0993.03007OpenAlexW2156666265MaRDI QIDQ2772883
Maarten de Rijke, Hans de Nivelle, Carlos Areces
Publication date: 28 July 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/11.5.717
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items (10)
Proof complexity of modal resolution ⋮ An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Simulation and Synthesis of Deduction Calculi ⋮ Resolution with order and selection for hybrid logics ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Proof Complexity of Non-classical Logics ⋮ Description Logics ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ A new methodology for developing deduction methods ⋮ Local reductions for the modal cube
Uses Software
This page was built for publication: Resolution in Modal, Description and Hybrid Logic
