scientific article; zbMATH DE number 4119669
From MaRDI portal
Publication:4733441
zbMath0683.68084MaRDI QIDQ4733441
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35)
Related Items (6)
Programming in metric temporal logic ⋮ Multi-modal logic programming using equational and order-sorted logic ⋮ An infinitary encoding of temporal equilibrium logic ⋮ Abstract minimality and circumscription ⋮ The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic ⋮ Temporal logic programming
This page was built for publication: