izvor podataka: crosbi
✓
Topološka potpunost logika dokazivosti (CROSBI ID 423928)
Ocjenski rad | diplomski rad
Mikec, Luka
Topološka potpunost logika dokazivosti / Vuković, Mladen ; Perkov, Tin (mentor);
Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 2016
Podaci o odgovornosti
Mikec, Luka
Vuković, Mladen ; Perkov, Tin
hrvatski
Topološka potpunost logika dokazivosti
Izlaže se dokaz potpunosti sistema GLP, polimodalnog proširenja logike dokazivosti GL, u odnosu na topološku semantiku.
modalna logika ; logika dokazivosti ; topološka semantika
nije evidentirano
engleski
Topological completeness of provability logics
nije evidentirano
modal logic ; provability logic ; topological semantics
nije evidentirano
Podaci o izdanju
66
19.09.2016.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb