Pregled bibliografske jedinice broj: 405459
Bisimulations and bismulation quotients of generalized Veltman models
Bisimulations and bismulation quotients of generalized Veltman models // Logic journal of the igpl, 18 (2010), 6; 870-880 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 405459 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Bisimulations and bismulation quotients of generalized Veltman models
Autori
Domagoj, Vrgoč, Mladen, Vuković
Izvornik
Logic journal of the igpl (1367-0751) 18
(2010), 6;
870-880
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
generalized Veltman models; bisimulation
(generalized Veltman models; bisimualtion)
Sažetak
Notion of bisimulation is central in modal model theory. Here we consider interpretability logic, a modal description of the interpretability predicate, and try to determine the most suitable notion of bisimulation for generalized Veltman semantics. In the first part of that paper we consider several notions of bisimulation and determine connections between them. In the second part we develop some further model theoretic properties for generalized Veltman semantics and consider diculties that arise when studying quotient structures.
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,
Fakultet strojarstva i brodogradnje, 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
