Pregled bibliografske jedinice broj: 671440
A bisimulation characterization for interpretability logic
A bisimulation characterization for interpretability logic // Logic journal of the igpl, 22 (2014), 6; 872-879 doi:10.1093/jigpal/jzu015 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 671440 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A bisimulation characterization for interpretability logic
Autori
Perkov, Tin ; Vuković, Mladen
Izvornik
Logic journal of the igpl (1367-0751) 22
(2014), 6;
872-879
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; Veltman models ; bisimulation invariance ; bisimulation games
Sažetak
A first–order formula is equivalent to the standard first–order translation of some formula of interpretability logic with respect to Veltman models if and only if it is invariant under bisimulations between Veltman models. To prove this, we use bisimulation games on Veltman models for interpretability logic. We provide characteristic formulas which formalize the existence of winning strategies in finite bisimulation games.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
MZOS-037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
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,
Tehničko veleučilište u Zagrebu
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
