Loading…

Time and Gödel: Fuzzy temporal reasoning in PSPACE

We investigate a non-classical version of linear temporal logic whose propositional fragment is G\"odel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics, a real-valued semantics and a bi-relational...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2022-05
Main Authors: Juan Pablo Aguilera, Diéguez, Martín, Fernández-Duque, David, McLean, Brett
Format: Article
Language:English
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We investigate a non-classical version of linear temporal logic whose propositional fragment is G\"odel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics, a real-valued semantics and a bi-relational semantics, and show that these indeed define one and the same logic. Although this G\"odel temporal logic does not have any form of the finite model property for these two semantics, we show that every falsifiable formula is falsifiable on a finite quasimodel, which yields decidability of the logic. We then strengthen this result by showing that this G\"odel temporal logic is PSPACE-complete.
ISSN:2331-8422
DOI:10.48550/arxiv.2205.00574