scientific article; zbMATH DE number 517002

zbMATH Open0793.68136MaRDI QIDQ4282525FDOQ4282525

Hans de Nivelle

Publication date: 17 April 1994

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

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

zbMATH Keywords

resolutionmodal logicautomated theorem provingpropositional logics

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Deciding the guarded fragments by resolution
• A Modal Herbrand's Property

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)