A Gödel Calculus for Linear Temporal Logic.

Juan P. Aguilera,Martín Diéguez,David Fernández-Duque,Brett McLean

International Conference on Principles of Knowledge Representation and Reasoning（2022）

Cited 4|Views3

No score

Abstract

We consider 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.

Translated text

Key words

gödel calculus,temporal

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined