scientific article
From MaRDI portal
Publication:3806791
zbMath0658.68014MaRDI QIDQ3806791
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) General topics in the theory of software (68N01)
Related Items (17)
A temporal programming model with atomic blocks based on projection temporal logic ⋮ Temporal logics in AI: semantical and ontological considerations ⋮ Modeling data-intensive reactive systems with relational transition systems ⋮ A mechanism of function calls in MSVL ⋮ Game semantics for non-monotonic intensional logic programming ⋮ A separation theorem for discrete-time interval temporal logic ⋮ A cylinder computation model for many-core parallel computing ⋮ A canonical form based decision procedure and model checking approach for propositional projection temporal logic ⋮ Model checking of pushdown systems for projection temporal logic ⋮ A proof system for unified temporal logic ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ A sound and complete proof system for a unified temporal logic ⋮ Interconnections between classes of sequentially compositional temporal formulas ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ A practical decision procedure for propositional projection temporal logic with infinite models ⋮ A formal proof of the deadline driven scheduler in PPTL axiomatic system ⋮ Prefix and Projection onto State in Duration Calculus
This page was built for publication:
