scientific article; zbMATH DE number 4164168

zbMATH Open0708.68057MaRDI QIDQ3490986FDOQ3490986

Authors: Yves Auffray, Patrice Enjalbert 

Publication date: 1989

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

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

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)

Cited In (18)

• Multi-modal logic programming using equational and order-sorted logic
• Clausal resolution in a logic of rational agency
• On two approaches to modal theorem proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution theorem proving in reified modal logics
• Modal Theorem Proving: An Equational Viewpoint
• Programming in metric temporal logic
• Multimodal logic programming using equational and order-sorted logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular proof systems for partial functions with Evans equality
• A Modal Herbrand's Property
• Capturing equilibrium models in modal logic
• Title not available (Why is that?)
• 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 Q3490986)