Skip to the main content

Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, No. 564=29, 2025.

Original scientific paper

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

Full text: english pdf 697 Kb

page 23-35

downloads: 0

cite

Abstract

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.

Keywords

Interpretability logic; Verbrugge models; finite model property; selection method

Hrčak ID:

326511

URI

https://hrcak.srce.hr/326511

Publication date:

9.1.2025.

Visits: 0 *