✦ LIBER ✦
Some results on Kripke models over an arbitrary fixed frame
✍ Scribed by Seyed Mohammad Bagheri; Morteza Moniri
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 109 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim‐Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models 𝒦 ⪯ 𝒦′ are studied.