scientific article; zbMATH DE number 1536552

zbMath0949.03515MaRDI QIDQ4518420

Valentin F. Goranko

Publication date: 28 November 2000

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems, The Fitch-Church paradox and first order modal logic, Hybrid languages, From \textit{counterfactual} conditionals to \textit{temporal} conditionals, Simple cut elimination proof for hybrid logic, Some comments on history based structures, A logic for the stepwise development of reactive systems, Model checking for hybrid branching-time logics, Temporal Logics with Reference Pointers and Computation Tree Logics, Inequality without irreflexivity, Hybrid dynamic logic institutions for event/data-based systems, Branching-time logics repeatedly referring to states