Author:
Moniri Morteza,Zaare Mostafa
Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Buss S.R.: Intuitionistic validity in T-normal Kripke structures. Ann. Pure Appl. Log. 59, 159–173 (1993)
2. Bagheri S.M., Moniri M.: Some results on Kripke models over an arbitrary fixed frame. Math. Log. Quart. 49, 479–484 (2003)
3. Chang, C.C., Keisler, J.: Model Theory, North-Holland (1990)
4. van Dalen D.: Logic and Structure. Springer, Berlin (1997)
5. Ellison B., Fleischmann J., McGinn D., Ruitenburg W.: Kripke submodels and universal sentences. Math. Log. Quart. 53, 311–320 (2007)