Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have