Multimodal logic programming using equational and order-sorted logic

DOI10.1016/0304-3975(92)90290-VMaRDI QIDQ1199813zbMATH OpenFDO

Authors Françoise Debart, Patrice Enjalbert, Madeleine Lescot

Publication date 16 January 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

modal logicunification algorithmfunctional translationSLD-E resolution

Mathematics Subject Classification ID

Logic programming (68N17) Mechanization of proofs and logical operations (03B35)

Recommendations

• Multi-modal logic programming using equational and order-sorted logic
• Multimodal logic programming
• Logic Programming
• scientific article; zbMATH DE number 4035208
• Logics in Artificial Intelligence

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4164168 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 4049131 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 43237 (Why is no real title available?)
• scientific article; zbMATH DE number 47403 (Why is no real title available?)
• scientific article; zbMATH DE number 67510 (Why is no real title available?)
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• First-order dynamic logic
• MOLOG: A system that extends PROLOG with modal logic
• Modal Theorem Proving: An Equational Viewpoint
• Modal resolution in clausal form
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Semantics-Based Translation Methods for Modal Logics
• Strategies for modal resolution: Results and problems
• Towards a unified theory of intensional logic programming

Cited in

(19)

• An intensional epistemic logic
• Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}
• Multi-dimensional logic programming: theoretical foundations
• Multi-modal logic programming using equational and order-sorted logic
• scientific article; zbMATH DE number 1761430 (Why is no real title available?)
• scientific article; zbMATH DE number 847937 (Why is no real title available?)
• scientific article; zbMATH DE number 2149448 (Why is no real title available?)
• scientific article; zbMATH DE number 4035208 (Why is no real title available?)
• Multimodal logic programming
• Representing scope in intuitionistic deductions
• Programming in metric temporal logic
• Modal logic programming revisited
• Using resolution for testing modal satisfiability and building models
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Models for anodic and cathodic multimodalities
• scientific article; zbMATH DE number 3845548 (Why is no real title available?)
• scientific article; zbMATH DE number 6917935 (Why is no real title available?)
• Connection calculus theorem proving with multiple built-in theories
• Logics in Artificial Intelligence

This page was built for publication: Multimodal logic programming using equational and order-sorted logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199813)