scientific article; zbMATH DE number 1341615

zbMATH Open0937.03014MaRDI QIDQ4263164FDOQ4263164

Authors: Carlos Areces, Hans de Nivelle, Maarten de Rijke 

Publication date: 17 February 2000

Title of this publication is not available (Why is that?)

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

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)

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)