scientific article; zbMATH DE number 4025402

MaRDI QIDQ3767322zbMATH OpenFDO

Authors Luis Fariñas del Cerro

Publication date 1985

zbMATH Keywords

Modal Logicresolution

Mathematics Subject Classification ID

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

Cited in

(11)

• Linear strategy for propositional modal resolution
• Modal resolution in clausal form
• Resolution for some first-order modal systems
• TABLEAUX: A general theorem prover for modal logics
• Resolution theorem proving in reified modal logics
• Planning temporal events using point-interval logic
• scientific article; zbMATH DE number 517062 (Why is no real title available?)
• scientific article; zbMATH DE number 2015404 (Why is no real title available?)
• Resolution-based methods for modal logics
• Modal Resolution
• Resolution principles in possibilistic logic

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