Naslov
A new notion of bisimulations of Verbrugge semantics

Autori
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen

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

Izvornik
Abstracts 7th Croatian Mathematical Congress / - , 2022, 44-45

Skup
7th Croatian Mathematical Congress

Mjesto i datum
Split, Hrvatska, 15.06.2022. - 18.06.2022

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
weak bisimulation ; weak bisimulation games ; Verbrugge semantics

Sažetak
The basic semantics for the interpretability logics are Veltman models defined by D. de Jongh and F. Veltman in 1988. They were used by V. Švejdar in 1991. to prove some independence results. De Jongh tried to generalize Švejdar's arguments and came up with the notion of generalized Veltman semantics. Since R. Verbrugge worked this out in an unpublished note, this semantics has recently been named after her. The basic equivalence between Veltman models are bisimulations. M. Vuković defined bisimulations (and their finite approximations called n- bisimulations) for Verbrugge semantics. It was proved by M. Vuković and D. Vrgoč that n-bisimilar worlds are modally n-equivalent, i.e. they satisfy the same IL- formulas of modal depth up to n. We have shown that the converse is generally not true. So we have defined a new notion of bisimulations for Verbrugge semantics called w- bisimulations. In this talk we will present them and show the desired converse: n-equivalent worlds are n-w-bisimilar. In order to do that we define Verbrugge model comparison games called w-games and show that w-bisimulation relations may be understood as descriptions of winning strategies for one player in a w-game.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA