6533b85dfe1ef96bd12bf1fd
RESEARCH PRODUCT
Games and Bisimulations for Intuitionistic First-Order Kripke Models
Małgorzata Kruszelnickasubject
Winning strategyBisimulationLogical equivalenceLogicIntuitionistic first-order logicKripke modelsGameEhrenfeucht–Fra ̈ıss ́e gameFirst orderAlgebraHistory and Philosophy of ScienceBounded functionComputational linguisticsKripke modelMathematicsdescription
The aim of this paper is to introduce the notion of a game for intuitionisticfirst-order Kripke models. We also establish links between notions presented here and thenotions of logical equivalence and bounded bisimulation for intuitionistic first-order Kripkemodels, and the Ehrenfeucht–Fra ̈ıss ́e game for classical first-order structures.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2021-01-18 | Studia Logica |