Games and Bisimulations for Intuitionistic First-Order Kripke Models

被引：0

作者：

Kruszelnicka, Malgorzata ^{[1
]}

机构：

[1] Univ Opole, Inst Math, Oleska 48, Opole, Poland

来源：

STUDIA LOGICA | 2021年 / 109卷 / 05期

关键词：

Intuitionistic first-order logic; Kripke model; Game; Winning strategy; Ehrenfeucht-Fraisse game;

D O I：

10.1007/s11225-020-09932-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The aim of this paper is to introduce the notion of a game for intuitionistic first-order Kripke models. We also establish links between notions presented here and the notions of logical equivalence and bounded bisimulation for intuitionistic first-order Kripke models, and the Ehrenfeucht-Fraisse game for classical first-order structures.

引用

页码：903 / 916

页数：14

共 9 条

[1]

[Anonymous], 1996, Mathematical Logic

[2]

Beth E. W., 1959, The Foundations of Mathematics: a Study in the Philosophy of Science

[3]

Beth E.W., 1956, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, V19, P357

[4]

Blackburn P, 2007, STUD LOGIC PRACT REA, V3, P1

[5]

Doets K., 1996, BASIC MODEL THEORY

[6]

Hodges W., 1997, A shorter model theory

[7]

Kripke Saul A., 1965, STUDIES LOGIC FDN MA, V40, P92

[8]

Kruszelnicka M., 2012, B SECTION LOGIC, V41, P185

[9] Back and forth between first-order Kripke models [J].

Polacik, Tomasz .

LOGIC JOURNAL OF THE IGPL, 2008, 16 (04) :335-355

← 1 →