Multimodal logic programming using equational and order-sorted logic
From MaRDI portal
Publication:1199813
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)
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