MOLOG: A system that extends PROLOG with modal logic

DOI10.1007/BF03037381zbMath0598.68063OpenAlexW2134592706MaRDI QIDQ1079962

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

resolutionlogic programmingmodal Horn clauses

Mathematics Subject Classification ID

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

Related Items (23)

The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics ⋮ Game semantics for non-monotonic intensional logic programming ⋮ Modal resolution in clausal form ⋮ Programming in metric temporal logic ⋮ Multi-modal logic programming using equational and order-sorted logic ⋮ Temporal Equilibrium Logic with past operators ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ An infinitary encoding of temporal equilibrium logic ⋮ Logic programming as classical inference ⋮ Resolution with order and selection for hybrid logics ⋮ Foundations of linear-time logic programming ⋮ An epistemic model of logic programming ⋮ Strategies for modal resolution: Results and problems ⋮ 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 ⋮ Multimodal logic programming ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ CWA Extensions to Multi-Valued Logics ⋮ Modal logic programming revisited ⋮ Proof methods for reasoning about possibility and necessity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple deduction method for modal logic
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Modalities and Quantification

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