Pregled bibliografske jedinice broj: 1097426
Interpretability logics and generalised veltman semantics
Interpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772 doi:10.1017/jsl.2020.7 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1097426 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Interpretability logics and generalised veltman
semantics
Autori
Mikec, Luka ; Vuković, Mladen
Izvornik
The Journal of symbolic logic (0022-4812) 85
(2020), 2;
749-772
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic ; generalized Veltman semantics ; completeness
Sažetak
We obtain modal completeness of the interpretability logics ILP_0 ILR w.r.t.\ generalized Veltman semantics. Our proofs are based on the notion of full labels. We also give shorter proofs of completeness w.r.t.\ generalized semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t.\ generalized semantics for ILP_0 and ILR. Finally, we develop a construction that might be useful for future proofs of completeness of extensions of ILW w.r.t. generalized semantics, and demonstrate its usage with ILW*.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
HRZZ-IP-2018-01-7459 - Izračunljive strukture, odlučivost i složenost (CompStruct) (Iljazović, Zvonko, HRZZ - 2018-01) ( CroRIS)
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
