Naslov
Bisimulations for generalized Veltman semantics

Autori
Horvat, Sebastijan

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

Izvornik
6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA / - , 2022, 184-185

Skup
6. Simpozij studenata doktorskih studija PMF-a = 6th Faculty of Science PhD Student Symposium

Mjesto i datum
Zagreb, Hrvatska, 23.04.2022. - 24.04.2022

Vrsta sudjelovanja
Poster

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 (non-deterministic) winning strategies for one player in corresponding model comparison games. In case of bisimulations for basic modal logic and provability logic that was illustrated in literature. Čačić and Vrgoč in used games on Veltman models to show that modal equivalence does not imply bisimilarity. First, I will mention the use of bisimulation games in known results for Veltman semantics. Since Veltman semantics is not fine-grained enough for certain applications, 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, I will define bisimulation games (and their finite approximation - n-bisimulation games) for generalised Veltman semantics. I will also comment on the standard result - equivalence between the existence of a winning strategy in the bisimulation game and the existence of a bisimulation in case of generalised Veltman semantics.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA