scientific article; zbMATH DE number 4119592

zbMath0683.68003MaRDI QIDQ4733376

No author found.

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Applicationstemporal logic programmingtemporal logicsTemporal Logicsevent logicconcurrency specificationlinear and branching timelogic of occurrencetemporal prolog

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Theory of operating systems (68N25) Conference proceedings and collections of articles (00Bxx)

Related Items (10)

Системы временной логики I: моменты, истории, деревья ⋮ Foundations of linear-time logic programming ⋮ The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) ⋮ Planning temporal events using point-interval logic ⋮ Decidability for a temporal logic used in discrete-event system analysis ⋮ Complexity studies of a temporal constraint propagation algorithm: a statistical analysis ⋮ Timing in music and modal temporal logic ⋮ Formal verification of multi-agent systems behaviour emerging from cognitive task analysis ⋮ Temporal reasoning over linear discrete time ⋮ From equations to patterns: Logic-based approach to general systems theory

This page was built for publication: