scientific article; zbMATH DE number 1956481
From MaRDI portal
Publication:4417820
zbMath1032.03028MaRDI QIDQ4417820
Stephan Merz, Júlia Zappe, Martin Wirsing
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2621/26210087.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (8)
Linear and affine logics with temporal, spatial and epistemic operators ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ On repairing and querying inconsistent probabilistic spatio-temporal databases ⋮ An AGM-style belief revision mechanism for probabilistic spatio-temporal logics ⋮ Model checking mobile stochastic logic ⋮ A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
Uses Software
This page was built for publication:
