MOLOG: A system that extends PROLOG with modal logic
From MaRDI portal
Publication:1079962
DOI10.1007/BF03037381zbMath0598.68063OpenAlexW2134592706MaRDI QIDQ1079962
Publication date: 1986
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037381
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
This page was built for publication: MOLOG: A system that extends PROLOG with modal logic
