A tableau for general linear temporal logic

DOI10.1093/LOGCOM/EXS042zbMATH Open1275.03089OpenAlexW2087159666MaRDI QIDQ2863170FDOQ2863170

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
• Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
• Metric temporal logic revisited
• A tableau construction for finite linear-time temporal logic
• Synthesis for continuous time
• Title not available (Why is that?)
• Title not available (Why is that?)

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)