Pregled bibliografske jedinice broj: 137683
Some notes on generalized Veltman models
Some notes on generalized Veltman models // Bulletin of symbolic logic, 8 (2002), 3; 159-160 (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)
CROSBI ID: 137683 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Some notes on generalized Veltman models
Autori
Vuković, Mladen
Izvornik
Bulletin of symbolic logic (1079-8986) 8
(2002), 3;
159-160
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, kongresno priopcenje, znanstveni
Ključne riječi
interpretability logic; Veltman models
Sažetak
We consider normal forms for the closed fragment of system IL and discuss internal questions about generalized semantics.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
0120047
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
