Izvorni znanstveni članak
Generalized Veltman models with a root
M. Vuković
Sažetak
Provability logic is a nonstandard modal logic. Interpretability logic is an extension of provability logic. Generalized Veltman models are Kripke like semantics for interpretability logic. We consider generalized
Veltman models with a root, i.e. r-validity, r-satisfiability and
a consequence relation. We modify Fine's and Rautenberg's proof
and prove non-compactness of interpretability logic.
Ključne riječi
interpretability logic; generalized Veltman semantics
Hrčak ID:
722
URI
Datum izdavanja:
26.6.2004.
Posjeta: 1.024 *