scientific article; zbMATH DE number 847937

MaRDI QIDQ4866982zbMATH OpenFDO

Authors Olivier Gasquet

Publication date 19 June 1996

zbMATH Keywords

automated deductionfunctional translations of modal logicsmulti-modal logicsoptimization of deduction

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 517003
• Multimodal logic programming using equational and order-sorted logic
• Unsorted functional translations
• Functional translation and second-order frame properties of modal logics
• Modal Theorem Proving: An Equational Viewpoint

Cited in

(4)

• Unsorted functional translations
• How to optimize proof-search in modal logics
• scientific article; zbMATH DE number 517003 (Why is no real title available?)
• Functional translation and second-order frame properties of 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 Q4866982)