Izvorni znanstveni članak
https://doi.org/10.21857/moxpjhzdem
Selection method for interpretability logic IL with respect to Verbrugge semantics
Sebastijan Horvat
; University of Zagreb, Faculty of Science, Department of Mathematics, Bijenička c. 30, 10 000 Zagreb, Croatia
Tin Perkov
; University of Zagreb, Faculty of Teacher Education, Savska c. 77, 10 000 Zagreb, Croatia
Sažetak
Interpretability logic is a modal logic which formalizes the notion of relative interpretability between first-order arithmetical theories. Veltman semantics is the basic semantics for interpretability logic. Verbrugge semantics is a generalization of Veltman semantics. Selection is one of the methods to establish finite model property of a logical system, as a step towards showing that the system is decidable. In this paper we show that selection method can be applied to Verbrugge models, by adapting techniques used for Kripke models to this more complex setting.
Ključne riječi
Interpretability logic; Verbrugge models; finite model property; selection method
Hrčak ID:
326511
URI
Datum izdavanja:
9.1.2025.
Posjeta: 0 *