scientific article; zbMATH DE number 847937

zbMATH Open0839.03005MaRDI QIDQ4866982FDOQ4866982

Authors: Olivier Gasquet 

Publication date: 19 June 1996

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

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

zbMATH Keywords

automated deductionmulti-modal logicsfunctional translations of modal logicsoptimization of deduction

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• How to optimize proof-search in modal logics
• Unsorted functional translations

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)