Multi-modal logic programming using equational and order-sorted logic

DOI10.1007/3-540-53162-9_30MaRDI QIDQ5096187zbMATH OpenOpenAlexFDO

Authors Françoise Debart, Patrice Enjalbert, Madeleine Lescot

Publication date 16 August 2022

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53162-9_30

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Multimodal logic programming using equational and order-sorted logic
• Modal logic programming revisited
• scientific article; zbMATH DE number 4164168
• Multimodal logic programming
• Logic Programming

Cites work

• scientific article; zbMATH DE number 3872640 (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 43237 (Why is no real title available?)
• scientific article; zbMATH DE number 4119669 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic

Cited in

(1)

• Multimodal logic programming using equational and order-sorted logic

This page was built for publication: Multi-modal 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 Q5096187)