Pregled bibliografske jedinice broj: 61085
Characteristic classes and bisimulations of generalized Veltman models
Characteristic classes and bisimulations of generalized Veltman models // Grazer Math. Berichte, 341 (1999), .; 7-16 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 61085 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Characteristic classes and bisimulations of generalized Veltman models
Autori
Vuković, Mladen
Izvornik
Grazer Math. Berichte (1016-7692) 341
(1999), .;
7-16
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
logika interpretabilnosti
(interpretability logic; Veltman models)
Sažetak
In the paper is proved that generalized Veltman models (semantics for interpretability logic) defined by de Jongh better distinguish the principles of interpretability than Veltman models. The notion of a bisimulation between generalized Veltman models is defined and the basic property of bisimulation is proved.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
