scientific article

zbMath0963.03025MaRDI QIDQ2721205

Szabolcs Mikulás, Maarten Marx, M. A. Reynolds

Publication date: 1 July 2001

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items

Metric temporal logic revisited, LINEAR TIME IN HYPERSEQUENT FRAMEWORK, The complexity of the temporal logic with ``until over general linear time, On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators, The complexity of temporal logic over the reals, About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability, THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE