Pregled bibliografske jedinice broj: 546703
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44 doi:10.1007/s11225-011-9366-7 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 546703 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
Autori
Čačić, Vedran ; Vrgoč, Domagoj
Izvornik
Studia Logica (0039-3215) 101
(2011), 1;
31-44
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
bisimulation ; modal equivalence ; provability ; interpretability
Sažetak
Interpretability logic is a modal logic for studying interpretability between logical theories. Its natural models are Veltman models, for which the accessibility relation is well- founded. That's why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem doesn't exist for Interpretability logic. However, we show that the analogous condition must still hold, by constructing two Veltman models with worlds in them that are modally equivalent but not bisimilar. In the process we develop some useful constructions on Veltman models: games, chains, and obtaining Veltman models/frames from GL ones.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
MZOS-120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb,
Agronomski fakultet, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- Arts & Humanities Citation Index (A&HCI)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
