|
|||||
|
|
Games and Bisimulations for Intuitionistic First-Order Kripke Models |
|
| Authors: | Kruszelnicka Małgorzata |
| Affiliation: | 1.Institute of Mathematics, University of Opole, Oleska 48, Opole, Poland ; |
| Abstract: | Studia Logica - 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... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |