Premium
Some results on Kripke models over an arbitrary fixed frame
Author(s) -
Bagheri Seyed Mohammad,
Moniri Morteza
Publication year - 2003
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310052
Subject(s) - shahid , mathematics , citation , mathematics education , library science , computer science , theology , philosophy
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.