Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 969161

Topološka potpunost logika dokazivosti


Mikec, Luka
Topološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb


CROSBI ID: 969161 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Topološka potpunost logika dokazivosti
(Topological completeness of provability logics)

Autori
Mikec, Luka

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet

Mjesto
Zagreb

Datum
19.09

Godina
2016

Stranica
66

Mentor
Vuković, Mladen ; Perkov, Tin

Ključne riječi
modalna logika ; logika dokazivosti ; topološka semantika
(modal logic ; provability logic ; topological semantics)

Sažetak
Izlaže se dokaz potpunosti sistema GLP, polimodalnog proširenja logike dokazivosti GL, u odnosu na topološku semantiku.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika



POVEZANOST RADA


Ustanove
Prirodoslovno-matematički fakultet, Zagreb,
Sveučilište u Zagrebu

Profili:

Avatar Url Mladen Vuković (mentor)

Avatar Url Tin Perkov (mentor)

Avatar Url Luka Mikec (autor)

Citiraj ovu publikaciju

Mikec, Luka
Topološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
Mikec, L. (2016) 'Topološka potpunost logika dokazivosti', diplomski rad, Prirodoslovno-matematički fakultet, Zagreb.
@phdthesis{phdthesis, author = {Mikec, L.}, year = {2016}, pages = {66}, keywords = {modal logic, provability logic, topological semantics}, title = {Topological completeness of provability logics}, keyword = {modal logic, provability logic, topological semantics}, publisherplace = {Zagreb} }