Pregled bibliografske jedinice broj: 892142
Decidability of interpretability logics ILM_0 and ILW*
Decidability of interpretability logics ILM_0 and ILW* // Logic journal of the igpl, 25 (2017), 5; 758-772 doi:10.1093/jigpal/jzx027 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 892142 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Decidability of interpretability logics ILM_0 and
ILW*
Autori
Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
Izvornik
Logic journal of the igpl (1367-0751) 25
(2017), 5;
758-772
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; generalized Veltman semantics ; filtration ; finite model property ; decidability
Sažetak
The finite model property is a key step in proving decidability of modal logics. By adapting the filtration method to the generalized Veltman semantics for interpretability logics, we have been able to prove the finite model property of interpretability logic ILM_0 w.r.t. generalized Veltman models. We use the same technique to prove the finite model property of interpretability logic ILW* w.r.t. generalized Veltman models. The missing link needed to prove the decidability of ILM_0 was completeness w.r.t. generalized Veltman models, which we obtain in this article. Thus, we prove the decidability of ILM_0, which was an open problem. Using the same technique, we prove that ILW* is also decidable.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Učiteljski fakultet, Zagreb,
Sveučilište u Rijeci, Fakultet za matematiku
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
