Time and Gödel: Fuzzy temporal reasoning in PSPACE

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

We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel–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ödel 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ödel temporal logic is PSPACE-complete.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/27/2023

Gödel-Dummett linear temporal logic

We investigate a version of linear temporal logic whose propositional fr...
research
05/10/2022

A Gödel Calculus for Linear Temporal Logic

We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
08/20/2020

From Intuitionism to Many-Valued Logics through Kripke Models

Intuitionistic Propositional Logic is proved to be an infinitely many va...
research
02/23/2018

Implicit definability of truth constants in Łukasiewicz logic

In the framework of propositional Łukasiewicz logic, a suitable notion o...
research
01/12/1999

Fixpoint 3-valued semantics for autoepistemic logic

The paper presents a constructive fixpoint semantics for autoepistemic l...
research
12/20/2020

Lexicographic Logic: a Many-valued Logic for Preference Representation

Logical formalisms provide a natural and concise means for specifying an...
research
04/27/2023

Standpoint Linear Temporal Logic

Many complex scenarios require the coordination of agents possessing uni...

Please sign up or login with your details

Forgot password? Click here to reset