Author:
Moniri Morteza,Zaare Mostafa
Reference8 articles.
1. Some results on Kripke models over an arbitrary fixed frame;Bageri;Math. Log. Quart.,2003
2. C. C. Chang, and J. Keisler, Model Theory (North-Holland, 1990).
3. D. van Dalen, Logic and Structure (Springer, 1997).
4. Finite Kripke models of HA are locally PA;van Dalen;Notre Dame J. Formal Logic,1986
5. Kripke submodels and universal sentences;Ellison;Math. Log. Quart.,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献