Naslov
Bisimulacije
(Bisimulations)

Autori
Strmečki, Tihana

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno matematički fakultet - Matematički odsjek

Mjesto
Zagreb

Datum
11.12

Godina
2007

Stranica
41

Mentor
Vuković, Mladen

Ključne riječi
Bisimulacije, modalna logika, Kripkeovi modeli i okviri, modalna ekvivalencija
(Bisimulations, modal logic, Kripke models and frames, modal equivalence)

Sažetak
U diplomskom radu proučavaju se modalne formule u unimodalnom sistemu, s obzirom na Kripkeove modele, Kripkeove okvire, te lokalno ili globalno. Pojmovi bisimulacije i bisimulirane invarijantnosti daju dodatni uvid u modalnost.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika

POVEZANOST RADA