Time and Godel: Fuzzy Temporal Reasoning in PSPACE

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Time and Godel: Fuzzy Temporal Reasoning in PSPACE

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Time and Godel: Fuzzy Temporal Reasoning in PSPACE

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

Kód důvěrnosti údajů

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

Název statě ve sborníku

Logic, Language, Information, and Computation

ISBN

978-3-031-15297-9

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

18

Strana od-do

18-35

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Iași

Datum konání akce

20. 9. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000866553800002