Pregled bibliografske jedinice broj: 346178
Bisimulations between generalized Veltman models and Veltman models
Bisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 346178 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Bisimulations between generalized Veltman models and Veltman models
Autori
Vuković, Mladen
Izvornik
Mathematical logic quarterly (0942-5616) 54
(2008), 4;
359-364
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
modal logic; interpretability logic; Veltman semantics
Sažetak
Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image-finite generalized Veltman model W there exists a Veltman model W' that is bisimular to W.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Mladen Vuković
(autor)
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
