scientific article; zbMATH DE number 517002

MaRDI QIDQ4282525zbMATHFDO

Authors Hans de Nivelle

Publication date 17 April 1994

zbMATH Keywords

resolutionmodal logicautomated theorem provingpropositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3932427
• Resolution-based methods for modal logics
• scientific article; zbMATH DE number 15881
• scientific article; zbMATH DE number 1215470
• Publication:4207883

Cited in

(5)

• scientific article; zbMATH DE number 1424041 (Why is no real title available?)
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• A Modal Herbrand's Property
• Strengthening Consistency Results in Modal Logic
• Deciding the guarded fragments by resolution

Describes a project that uses

Uses Software

• TABLEAUX

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 Q4282525)