Skoči na glavni sadržaj

Izvorni znanstveni članak

Generalized Veltman models with a root

M. Vuković


Puni tekst: engleski pdf 116 Kb

str. 105-111

preuzimanja: 602

citiraj


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

https://hrcak.srce.hr/722

Datum izdavanja:

26.6.2004.

Posjeta: 1.259 *