scientific article; zbMATH DE number 510781

zbMath0802.03016MaRDI QIDQ4281254

I. M. Hodkinson, Dov M. Gabbay, M. A. Reynolds

Publication date: 4 April 1994

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

zbMATH Keywords

temporal logiclinear timetime flowtemporal connectives

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Finite \(H\)-dimension does not imply expressive completeness ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ On Gabbay's temporal fixed point operator ⋮ Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Synthesis for continuous time