Temporal logic CTL \(+\) Prolog
From MaRDI portal
Publication:1823654
DOI10.1007/BF00245021zbMath0681.68018OpenAlexW1968449321MaRDI QIDQ1823654
Publication date: 1989
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00245021
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (3)
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics ⋮ MetateM: An introduction ⋮ Programming in temporal-nonmonotonic reasoning
This page was built for publication: Temporal logic CTL \(+\) Prolog
