Multimodal logic programming using equational and order-sorted logic

DOI10.1016/0304-3975(92)90290-VzbMath0756.68090MaRDI QIDQ1199813

Madeleine Lescot, Françoise Debart, Patrice Enjalbert

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

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

Related Items

Programming in metric temporal logic, Multi-modal logic programming using equational and order-sorted logic, Multi-dimensional logic programming: theoretical foundations, Connection calculus theorem proving with multiple built-in theories, Multimodal logic programming, Unnamed Item, Representing scope in intuitionistic deductions, Modal logic programming revisited

Cites Work

• Strategies for modal resolution: Results and problems
• MOLOG: A system that extends PROLOG with modal logic
• Modal resolution in clausal form
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• First-order dynamic logic
• Semantics-Based Translation Methods for Modal Logics
• Towards a unified theory of intensional logic programming
• Modal Theorem Proving: An Equational Viewpoint
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item