Time and Godel: Fuzzy Temporal Reasoning in PSPACE

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F22%3A00563275" target="_blank" >RIV/67985807:_____/22:00563275 - isvavai.cz</a>
Result on the web
<a href="https://dx.doi.org/10.1007/978-3-031-15298-6_2" target="_blank" >https://dx.doi.org/10.1007/978-3-031-15298-6_2</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-15298-6_2" target="_blank" >10.1007/978-3-031-15298-6_2</a>

Result language
angličtina
Original language name
Time and Godel: Fuzzy Temporal Reasoning in PSPACE
Original language description
We investigate a non-classical version of linear temporal logic whose propositional fragment is Godel-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 Godel 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 Godel temporal logic is PSPACE-complete.
Czech name
—
Czech description
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)