scientific article; zbMATH DE number 1341615

MaRDI QIDQ4263164zbMATH OpenFDO

Authors Carlos Areces, Hans de Nivelle, Maarten de Rijke

Publication date 17 February 2000

zbMATH Keywords

description logicmodal logicassertional informationresolution-based proof procedurelabeled formulas

Mathematics Subject Classification ID

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

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

(7)

• Towards resolution-based reasoning for connected logics
• A resolution-based calculus for preferential logics
• Resolution in modal, description and hybrid logic
• 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

This page was built for publication:

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