Mostafa Zaare

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Computational Linguistics

Top Venues

Publications

Maryam Abiri, Morteza Moniri, Mostafa Zaare
Forcing and satisfaction in Kripke models of intuitionistic arithmetic. Log. J. IGPL 27 (5) (2019)
Maryam Abiri, Morteza Moniri, Mostafa Zaare
From forcing to satisfaction in Kripke models of intuitionistic predicate logic. Log. J. IGPL 26 (5) (2018)
Mostafa Zaare
Extensions of Kripke models. Log. J. IGPL 25 (5) (2017)
Morteza Moniri, Mostafa Zaare
Homomorphisms and chains of Kripke models. Arch. Math. Log. 50 (3-4) (2011)
Morteza Moniri, Mostafa Zaare
Preservation theorems for Kripke models. Math. Log. Q. 55 (2) (2009)