A G\"odel Calculus for Linear Temporal Logic
Logic in Computer Science
2022-12-05 v1
Abstract
We consider G\"odel temporal logic (), a variant of linear temporal logic based on G\"odel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be {\sc pspace}-complete. In this paper we provide a deductive calculus for , and show this calculus to be sound and complete for the above-mentioned semantics.
Keywords
Cite
@article{arxiv.2205.05182,
title = {A G\"odel Calculus for Linear Temporal Logic},
author = {Juan Pablo Aguilera and Martín Diéguez and David Fernández-Duque and Brett McLean},
journal= {arXiv preprint arXiv:2205.05182},
year = {2022}
}
Comments
arXiv admin note: text overlap with arXiv:2205.00574