MOLOG: A system that extends PROLOG with modal logic

DOI10.1007/BF03037381MaRDI QIDQ1079962zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro

Publication date 1986

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037381

zbMATH Keywords

logic programmingmodal Horn clausesresolution

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4066840
• scientific article; zbMATH DE number 92602
• Decidability by resolution for propositional modal logics
• On two approaches to modal theorem proving
• Logic Programming
• Strategies for modal resolution: Results and problems
• Logics in Artificial Intelligence
• The recursive resolution method for modal logic
• Modal provability foundations for negation by failure
• scientific article; zbMATH DE number 4027426

Cites work

• A simple deduction method for modal logic
• scientific article; zbMATH DE number 3932427 (Why is no real title available?)
• scientific article; zbMATH DE number 3684922 (Why is no real title available?)
• scientific article; zbMATH DE number 3740789 (Why is no real title available?)
• scientific article; zbMATH DE number 43239 (Why is no real title available?)
• Modalities and Quantification
• N-Prolog: An extension of Prolog with hypothetical implications. I.

Cited in

(29)

• Modal resolution in clausal form
• Programming in metric temporal logic
• Resolution for some first-order modal systems
• Programming in temporal-nonmonotonic reasoning
• Reasoning about reasoning in a meta-level architecture
• Multimodal logic programming using equational and order-sorted logic
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• Proof methods for reasoning about possibility and necessity
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
• Multi-dimensional logic programming: theoretical foundations
• Tractable reasoning using logic programs with intensional concepts
• Resolution with order and selection for hybrid logics
• Multimodal logic programming
• Game semantics for non-monotonic intensional logic programming
• CWA extensions to multi-valued logics
• Modal logic programming revisited
• scientific article; zbMATH DE number 4035208 (Why is no real title available?)
• scientific article; zbMATH DE number 1761430 (Why is no real title available?)
• Temporal equilibrium logic with past operators
• An infinitary encoding of temporal equilibrium logic
• Foundations of linear-time logic programming
• Multi-modal logic programming using equational and order-sorted logic
• Logic Programming
• Logics in Artificial Intelligence
• Many-valued modalities and paraconsistency
• Linear-time temporal answer set programming
• Logic programming as classical inference
• An epistemic model of logic programming
• Strategies for modal resolution: Results and problems

This page was built for publication: MOLOG: A system that extends PROLOG with modal logic

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