A tableau for general linear temporal logic

DOI10.1093/LOGCOM/EXS042MaRDI QIDQ2863170zbMATH OpenOpenAlexFDO

Authors Mark Alexander 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)

Cited in

(7)

• Temporalising tableaux
• A tableau construction for finite linear-time temporal logic
• scientific article; zbMATH DE number 1189099 (Why is no real title available?)
• Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
• Synthesis for continuous time
• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• Metric temporal logic revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863170)