Pregled bibliografske jedinice broj: 182952
A Note on Semantics of the Interpretability Logic IL(KW1)
A Note on Semantics of the Interpretability Logic IL(KW1) // Bulletin of the Section of Logic, 32 (2003), 3; 109-115 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 182952 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A Note on Semantics of the Interpretability Logic IL(KW1)
Autori
Vuković, Mladen
Izvornik
Bulletin of the Section of Logic (0138-0680) 32
(2003), 3;
109-115
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic; generalized Veltman models
Sažetak
We define a class of generalized Veltman models and prove soundness of the interpretability logic IL(KW1) with respect that class.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Mathematical Reviews
- Zentralblatt fur Mathematik
