Resolution in Modal, Description and Hybrid Logic

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

zbMATH Keywords

modal logichybrid logicdescription logicdirect resolution

Mathematics Subject Classification ID

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

• SPASS
• Bliksem

This page was built for publication: Resolution in Modal, Description and Hybrid Logic