Pregled bibliografske jedinice broj: 236593
Hennessy-Milner theorem for interpretability logic
Hennessy-Milner theorem for interpretability logic // Bulletin of the Section of Logic, 34 (2005), 4; 195-202 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 236593 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Hennessy-Milner theorem for interpretability logic
Autori
Vuković, Mladen
Izvornik
Bulletin of the Section of Logic (0138-0680) 34
(2005), 4;
195-202
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability; Veltman model
Sažetak
We define bisimulations between generalized Veltman models. Then we consider some operations between models and prove that the operations are a special case of bisimulations. At the end we prove Hennessy-Milner theorem for IL(set)-models.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
0120047
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
- Zentralblatt fur Mathematik
