Naslov
Bisimulation games for (generalized) Veltman semantics

Autori
Horvat, Sebastijan

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Logic and Application 2021 Book of Abstracts / - , 2021, 78-79

Skup
The 4th workshop Formal Reasoning and Semantics (FORMALS 2021)

Mjesto i datum
Dubrovnik, Hrvatska, 20.09.2021. - 24.09.2021

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
bisimulation ; bisimulation games ; generalised Veltman semantics

Sažetak
Bisimulation relations in logic may be understood as descriptions of (nondeterministic) winning strategies for one player in corresponding model comparison games. Cačić and Vrgoč used games on Veltman models to show that modal equivalence does not imply bisimilarity. In this talk, we will give an overview of use of bisimulation games in known results for Veltman semantics. Since Veltman semantics is not fine-grained enough for certain application, the notion of generalised Veltman semantics emerged to obtain certain non- derivability results. It has turned out that this semantics has various good properties. Because of that, we will define bisimulation games (and their finite approximation - n-bisimulation games) for generalised Veltman semantics. We will alse prove the standard result - equivalence between the existence of a winning strategy in the bisimulation game and the existence of an bisimulation in case of generalised Veltman semantics.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA