Pregled bibliografske jedinice broj: 797535
Filtrations of generalized Veltman models
Filtrations of generalized Veltman models // Mathematical logic quarterly, 62 (2016), 4/5; 412-419 doi:10.1002/malq.201500030 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 797535 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Filtrations of generalized Veltman models
Autori
Perkov, Tin ; Vuković, Mladen
Izvornik
Mathematical logic quarterly (0942-5616) 62
(2016), 4/5;
412-419
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; generalized Veltman models ; filtrations
Sažetak
The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic IL w.r.t. Veltman models, and we prove the finite model property of the systems ILM and ILM_0 w.r.t. generalized Veltman models.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
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
