Pregled bibliografske jedinice broj: 740669
Interpretability logic IL does not have finite subtree property
Interpretability logic IL does not have finite subtree property // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti, 18=519 (2014), 1-5 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 740669 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Interpretability logic IL does not have finite subtree property
Autori
Čačić, Vedran ; Vuković, Mladen
Izvornik
Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti (1845-4100) 18=519
(2014);
1-5
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; Veltman model ; finite model property
Sažetak
Usually, when a logic has finite model property (fmp), it also has a stronger, finite submodel property: every model can be reduced to a finite submodel. Or, at least, it has a finite subtree property, which is restricted to models that are trees. We prove that interpretability logic IL does not have finite subtree property.
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)
- Emerging Sources Citation Index (ESCI)
