scientific article; zbMATH DE number 4119592
From MaRDI portal
Publication:4733376
Applicationsconcurrency specificationevent logiclinear and branching timelogic of occurrencetemporal logic programmingTemporal Logicstemporal logicstemporal prolog
Conference proceedings and collections of articles (00Bxx) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)
Recommendations
- Temporal Logics
- Temporal logic and applications—a tutorial
- Timed temporal logics
- Temporal and dynamic logic
- scientific article; zbMATH DE number 1749195
- scientific article; zbMATH DE number 4119594
- scientific article; zbMATH DE number 3985193
- scientific article; zbMATH DE number 4081516
- Temporal logic and state systems
- Timed context-free temporal logics
Cited in
(22)- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
- Planning temporal events using point-interval logic
- Temporal logic and state systems
- Unified temporal logic
- From equations to patterns: Logic-based approach to general systems theory
- Timed Temporal Logics for Abstracting Transient States
- Timing in music and modal temporal logic
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- scientific article; zbMATH DE number 1271171 (Why is no real title available?)
- scientific article; zbMATH DE number 1301761 (Why is no real title available?)
- Complexity studies of a temporal constraint propagation algorithm: a statistical analysis
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- Decidable temporal and sequential relevant logics*
- Asymptotic behaviour in temporal logic
- scientific article; zbMATH DE number 194496 (Why is no real title available?)
- Foundations of linear-time logic programming
- Системы временной логики I: моменты, истории, деревья
- Temporal reasoning over linear discrete time
- Substructure Temporal Logic
- scientific article; zbMATH DE number 4182845 (Why is no real title available?)
- Decidability for a temporal logic used in discrete-event system analysis
- A temporal logic for sortals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733376)
