Pregled bibliografske jedinice broj: 702077
Sahlqvistove formule
Sahlqvistove formule, 2006., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
CROSBI ID: 702077 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Sahlqvistove formule
(Sahlqvist formulas)
Autori
Perkov, Tin
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad
Fakultet
Prirodoslovno-matematički fakultet
Mjesto
Zagreb
Datum
06.12
Godina
2006
Stranica
52
Mentor
Vuković, Mladen
Ključne riječi
modalna logika; teorija korespondencije
(modal logic; correspondence theory)
Sažetak
U radu su izloženi rezultati teorije korespondencije modalne logike i logike prvog reda, s naglaskom na automatskoj korespondenciji na okvirima.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
