A tableau for general linear temporal logic

DOI10.1093/logcom/exs042zbMath1275.03089OpenAlexW2087159666MaRDI QIDQ2863170

M. A. Reynolds

Publication date: 21 November 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exs042

zbMATH Keywords

temporal logictableaugeneral linear time

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (2)

Metric temporal logic revisited ⋮ Synthesis for continuous time

This page was built for publication: A tableau for general linear temporal logic