scientific article; zbMATH DE number 4164168

MaRDI QIDQ3490986zbMATH OpenFDO

Authors Yves Auffray, Patrice Enjalbert

Publication date 1989

zbMATH Keywords

algebraic-equational methodstheorem proving in first-order modal logic

Mathematics Subject Classification ID

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

Recommendations

• Publication:3030268
• On two approaches to modal theorem proving
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 549980
• Resolution theorem proving in reified modal logics

Cited in

(18)

• Capturing equilibrium models in modal logic
• Multimodal logic programming using equational and order-sorted logic
• scientific article; zbMATH DE number 922622 (Why is no real title available?)
• scientific article; zbMATH DE number 1765692 (Why is no real title available?)
• Resolution theorem proving in reified modal logics
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• A Modal Herbrand's Property
• scientific article; zbMATH DE number 4051564 (Why is no real title available?)
• Programming in metric temporal logic
• Modular proof systems for partial functions with Evans equality
• On two approaches to modal theorem proving
• Clausal resolution in a logic of rational agency
• Unsorted functional translations
• scientific article; zbMATH DE number 6863660 (Why is no real title available?)
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 4058904 (Why is no real title available?)
• Multi-modal logic programming using equational and order-sorted 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 Q3490986)