Pregled bibliografske jedinice broj: 525432
Invarijantnost u modalnoj logici
Invarijantnost u modalnoj logici, 2011., diplomski rad, preddiplomski, Hrvatski studiji, Zagreb
CROSBI ID: 525432 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Invarijantnost u modalnoj logici
(Invariance in modal logic)
Autori
Restović, Ivan
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Hrvatski studiji
Mjesto
Zagreb
Datum
20.03
Godina
2011
Stranica
26
Mentor
Kovač, Srećko
Ključne riječi
invarijantnost; modalni model; jaki homomorfizam; ograničeni morfizam; bisimulacija
(invariance; modal model; strong homomorphism; bounded morphism; bisimulation)
Sažetak
Rad se bavi invarijantnošću istinitosnih vrijednosti prema obziru na preoblike modela u modalnoj logici. Opisuju se i osvjetljuju prikladnim primjerima disjunktna unija, generirani podmodeli, strogi homomorfizam, ograničeni morfizam, bisimulacija i njihovi uzajamni odnosi.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(mentor)
