Seminar za matemati~cku logiku i osnove matematike
povijest

• Vrijeme: ponedjeljak, 19. prosinca 2005., 17:15
• Predava~c: Svitan Gaborovi~c
• Naslov: Sigurnost presjeka u semantici modalnih jezik~a

Sa~zetak:

Operacije unije, kompozicije i iteracije relacij~a Kripkeovih
model~a modalnog jezika s unarnim operatorima su sigurne za bisimulaciju
dok presjek nije. Definirat ~temo pojam parcijalnog modela modalnog jezika
i pojam lokalne bisimulacije me~du parcijalnim modelima. Dokazat ~temo
da je presjek siguran za lokalne bisimulacije.