diplomski rad (sveučilišni)

Bisimulacije

Tihana Strmečki

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.

Ključne riječi

Bisimulacijemodalna logikaKripkeovi modeli i okvirimodalna ekvivalencija