Work

A Gödel Calculus for Linear Temporal Logic

Year: 2022

Type: conference-paper

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.

DOI: 10.24963/kr.2022/1

Authors: Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Institutions: TU Wien, Ghent University, Université d'Angers, Czech Academy of Sciences

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung, Austrian Science Fund, Fonds Wetenschappelijk Onderzoek, Conseil Régional des Pays de la Loire

Awards: G1313931753, Proof and Model Theory of Intuitionistic Temporal Logic, Reflection Spectra: Predicative Mathematics and Beyond, G4740905412, G5319371344, G5799696092, G6089776860, Proof and Model Theory of Intuitionistic Temporal Logic, G8778793731

OpenAlex ID: W4288046099

FWCI: 1.145

Cites: 25

Cited by: 4

Related to: 10