Pregled bibliografske jedinice broj: 529374
A note on normal form for closed fragment of system IL
A note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 529374 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A note on normal form for closed fragment of system IL
Autori
Čačić, Vedran ; Vuković, Mladen
Izvornik
Mathematical communications (1331-0623) 17
(2012), 1;
195-204
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
modal logic ; interpretability logic ; normal form
Sažetak
P. Hajek and V. Svejdar determined normal forms for the system ILF, and showed that we can eliminate the modal operator $\rhd$ from IL-formulas. The normal form for the closed fragment of the interpretability logic IL is an open problem. We prove that we can eliminate the modal operator $\rhd$ in some cases. We give an example where it is impossible to eliminate $\rhd.$
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
MZOS-037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
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
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- MathSciNet
- Zentrallblatt für Mathematik/Mathematical Abstracts
