Pregled bibliografske jedinice broj: 405452
Bisimulation quotients of Veltman models
Bisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 405452 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Bisimulation quotients of Veltman models
Autori
Domagoj, Vrgoč ; Mladen Vuković
Izvornik
Reports on Mathematical Logic (0137-2904) 46
(2011);
59-73
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; Veltman semantics
Sažetak
Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Goedel-Loeb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models.
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,
Agronomski fakultet, 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
