Prefixed resolution. A resolution method for modal and description logics

DOI10.1007/3-540-48660-7_13MaRDI QIDQ4263164zbMATH OpenFDO

Authors Carlos Areces, Hans de Nivelle, Maarten de Rijke

Publication date 17 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48660-7_13

zbMATH Keywords

assertional informationdescription logiclabeled formulasmodal logicresolution-based proof procedure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Resolution in modal, description and hybrid logic
• Resolution-based methods for modal logics
• scientific article; zbMATH DE number 3932427
• First-order resolution methods for modal logics

Cited in

(8)

• A resolution-based calculus for preferential logics
• Resolution in modal, description and hybrid logic
• Towards resolution-based reasoning for connected logics
• A Modal-Layered Resolution Calculus for K
• Anti-prenexing and Prenexing for Modal Logics
• First-order resolution methods for modal logics
• Resolution calculi for non-normal modal logics
• Non-iterative modal resolution calculi

This page was built for publication: Prefixed resolution. A resolution method for modal and description logics

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