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

DOI10.1007/3-540-53162-9_30zbMath1494.68041OpenAlexW4240095037MaRDI QIDQ5096187

Françoise Debart, Madeleine Lescot, Patrice Enjalbert

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)

Cites Work

• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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