scientific article
From MaRDI portal
Publication:3812209
zbMath0662.03016MaRDI QIDQ3812209
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) General topics in the theory of software (68N01)
Related Items
Operational semantics of Framed Tempura ⋮ A cylinder computation model for many-core parallel computing ⋮ Temporal Equilibrium Logic with past operators ⋮ Temporal abductive reasoning about biochemical reactions ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Timing in music and modal temporal logic ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Timed Term Rewrite Systems
