On the Priorean temporal logic with [d] over the real line

DOI10.1093/LOGCOM/EXV044MaRDI QIDQ2826035zbMATH OpenOpenAlexFDO

Authors Alberto Gatto

Publication date 7 October 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

axiomatizationcompletenesscomplexityKripke completenessspatial logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• On the Priorean temporal logic with `around now' over the real line
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Quantitative temporal logics over the reals: PSpace and below
• The complexity of temporal logic over the reals
• A tableau for temporal logic over the reals
• A finite basis for `almost future' temporal logic over the reals
• The Complexity of Temporal Logic with Until and Since over Ordinals
• Axiomatising first-order temporal logic: Until and since over linear time
• Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
• Temporal logic of linearly ordered -spaces

Cited in

(4)

• Two temporal logics of contingency
• scientific article; zbMATH DE number 757644 (Why is no real title available?)
• The d-logic of the real line
• On the Priorean temporal logic with `around now' over the real line

This page was built for publication: On the Priorean temporal logic with \([d]\) over the real line

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