A Gödel Calculus for Linear Temporal Logic

05/10/2022
by   Juan Pablo Aguilera, et al.
0

We consider Gödel temporal logic (GTL), a variant of linear temporal logic based on Gödel–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 pspace-complete. In this paper we provide a deductive calculus for GTL, and show this calculus to be sound and complete for the above-mentioned semantics.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset