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

DOI10.1093/LOGCOM/EXV044zbMATH Open1353.03010OpenAlexW2339454416MaRDI QIDQ2826035

Alberto Gatto

Publication date: 7 October 2016

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

complexitycompletenesstemporal logicaxiomatizationspatial logicKripke completeness

Mathematics Subject Classification ID

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

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Temporal logic of linearly ordered \(\alpha\)-spaces 👍 👎
• The complexity of temporal logic over the reals 👍 👎
• Quantitative temporal logics over the reals: PSpace and below 👍 👎
• Axiomatising first-order temporal logic: Until and since over linear time 👍 👎
• A Finite Basis for ‘Almost Future’ Temporal Logic over the Reals 👍 👎
• The Complexity of Temporal Logic with Until and Since over Ordinals 👍 👎
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers 👍 👎
• 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