Pregled bibliografske jedinice broj: 33266
Some correspondences of principles in interpretability logic
Some correspondences of principles in interpretability logic // Glasnik matematički, 31 (1996), 193-200 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 33266 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Some correspondences of principles in interpretability logic
Autori
Vuković, Mladen
Izvornik
Glasnik matematički (0017-095X) 31
(1996);
193-200
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic; generalized Veltman semantics
Sažetak
A generalized Veltman semantics developed by de Jongh is used to investigate relations between several extensions of interpretability logic, IL.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
