Skip to the main content

Mathematical Communications, Vol. 9 No. 1, 2004.

Original scientific paper

Generalized Veltman models with a root

M. Vuković

Full text: english pdf 116 Kb

page 105-111

downloads: 520

cite

Abstract

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.

Keywords

interpretability logic; generalized Veltman semantics

Hrčak ID:

722

URI

https://hrcak.srce.hr/722

Publication date:

26.6.2004.

Visits: 996 *