Morteza Moniri

21 papers Journal 21
YearRankTypeTitle / Venue / Authors
2024 J jnl
Another Neighbourhood Semantics for Intuitionistic Logic.
Log. J. IGPL
Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
2022 J jnl
An infinitary axiomatization of dynamic topological logic.
Log. J. IGPL
Somayeh Chopoghloo, Morteza Moniri
2021 J jnl
A strongly complete axiomatization of intuitionistic temporal logic.
J. Log. Comput.
Somayeh Chopoghloo, Morteza Moniri
2019 J jnl
Forcing and satisfaction in Kripke models of intuitionistic arithmetic.
Log. J. IGPL
Maryam Abiri, Morteza Moniri, Mostafa Zaare
2018 J jnl
From forcing to satisfaction in Kripke models of intuitionistic predicate logic.
Log. J. IGPL
Maryam Abiri, Morteza Moniri, Mostafa Zaare
2013 J jnl
Fuzzy and Intuitionistic Fuzzy Turing Machines.
Fundam. Informaticae
Morteza Moniri
2011 J jnl
Homomorphisms and chains of Kripke models.
Arch. Math. Log.
Morteza Moniri, Mostafa Zaare
2010 J jnl
Provably recursive functions of constructive and relatively constructive theories.
Arch. Math. Log.
Morteza Moniri
2009 J jnl
Preservation theorems for Kripke models.
Math. Log. Q.
Morteza Moniri, Mostafa Zaare
2008 J jnl
On the Hierarchy of Intuitionistic Bounded Arithmetic.
J. Log. Comput.
Morteza Moniri
2007 J jnl
Preservation theorems for bounded formulas.
Arch. Math. Log.
Morteza Moniri
2006 J jnl
An Independence Result for Intuitionistic Bounded Arithmetic.
J. Log. Comput.
Morteza Moniri
2005 J jnl
Polynomial induction and length minimization in intuitionistic bounded arithmetic.
Math. Log. Q.
Morteza Moniri
2004 J jnl
Corrigendum to "Weak Arithmetics and Kripke Models".
Math. Log. Q.
Morteza Moniri
2003 J jnl
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND.
J. Log. Comput.
Morteza Moniri
2003 J jnl
Independence results for weak systems of intuitionistic arithmetic.
Math. Log. Q.
Morteza Moniri
2003 J jnl
Intuitionistic weak arithmetic.
Arch. Math. Log.
Morteza Moniri
2003 J jnl
On two questions about feasibly constructive arithmetic.
Math. Log. Q.
Morteza Moniri
2003 J jnl
Some results on Kripke models over an arbitrary fixed frame.
Math. Log. Q.
Seyed-Mohammad Bagheri, Morteza Moniri
2002 J jnl
Some Weak Fragments of HA and Certain Closure Properties.
J. Symb. Log.
Morteza Moniri, Mojtaba Moniri
2002 J jnl
Weak Arithmetics and Kripke Models.
Math. Log. Q.
Morteza Moniri