Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 546715

Towards the normal form theorem for Interpretability logic

Čačić, Vedran
Towards the normal form theorem for Interpretability logic // Logic Colloquium
Pariz, Francuska, 2010. str. 1-1 (predavanje, međunarodna recenzija, sažetak, znanstveni)

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

Naslov
Towards the normal form theorem for Interpretability logic

Autori
Čačić, Vedran

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Skup
Logic Colloquium

Mjesto i datum
Pariz, Francuska, 25.07.2010. - 31.07.2010

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
normal form ; interpretability logic ; Veltman model

Sažetak
We presented various syntactic forms of closed formulas of Interpretability logic, that have simple normal forms, same as those of closed fragment of GL.

Izvorni jezik
Engleski

Znanstvena područja
Matematika



POVEZANOST RADA

Projekti:
MZOS-120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb

Profili:

Avatar Url Vedran Čačić (autor)

Citiraj ovu publikaciju:

Čačić, Vedran
Towards the normal form theorem for Interpretability logic // Logic Colloquium
Pariz, Francuska, 2010. str. 1-1 (predavanje, međunarodna recenzija, sažetak, znanstveni)
Čačić, V. (2010) Towards the normal form theorem for Interpretability logic. U: Logic Colloquium.
@article{article, author = {\v{C}a\v{c}i\'{c}, Vedran}, year = {2010}, pages = {1-1}, keywords = {normal form, interpretability logic, Veltman model}, title = {Towards the normal form theorem for Interpretability logic}, keyword = {normal form, interpretability logic, Veltman model}, publisherplace = {Pariz, Francuska} }
@article{article, author = {\v{C}a\v{c}i\'{c}, Vedran}, year = {2010}, pages = {1-1}, keywords = {normal form, interpretability logic, Veltman model}, title = {Towards the normal form theorem for Interpretability logic}, keyword = {normal form, interpretability logic, Veltman model}, publisherplace = {Pariz, Francuska} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.