Izvorni znanstveni članak
The interpretability logic ILF
M. Vuković
Sažetak
In this paper we determine a characteristic class of IL_{set} frames for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.
Ključne riječi
interpretability logic; generalized Veltman semantic
Hrčak ID:
1770
URI
Datum izdavanja:
20.12.1998.
Posjeta: 1.299 *