Mostafa Zaare

According to our database, Mostafa Zaare authored at least 5 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

Forcing and satisfaction in Kripke models of intuitionistic arithmetic.

Maryam Abiri, Morteza Moniri, Mostafa Zaare

Log. J. IGPL, 2019

2018

From forcing to satisfaction in Kripke models of intuitionistic predicate logic.

Maryam Abiri, Morteza Moniri, Mostafa Zaare

Log. J. IGPL, 2018

2017

Extensions of Kripke models.

Mostafa Zaare

Log. J. IGPL, 2017

2011

Homomorphisms and chains of Kripke models.

Morteza Moniri, Mostafa Zaare

Arch. Math. Log., 2011

2009

Preservation theorems for Kripke models.

Morteza Moniri, Mostafa Zaare

Math. Log. Q., 2009