Morteza Moniri

According to our database, Morteza Moniri authored at least 22 papers between 2002 and 2024.

Collaborative distances:

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

2024

Another Neighbourhood Semantics for Intuitionistic Logic.

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

Log. J. IGPL, January, 2024

2022

An infinitary axiomatization of dynamic topological logic.

Somayeh Chopoghloo, Morteza Moniri

Log. J. IGPL, 2022

2021

A strongly complete axiomatization of intuitionistic temporal logic.

Somayeh Chopoghloo, Morteza Moniri

J. Log. Comput., 2021

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

2013

Fuzzy and Intuitionistic Fuzzy Turing Machines.

Morteza Moniri

Fundam. Informaticae, 2013

2011

Homomorphisms and chains of Kripke models.

Morteza Moniri, Mostafa Zaare

Arch. Math. Log., 2011

2010

Provably recursive functions of constructive and relatively constructive theories.

Morteza Moniri

Arch. Math. Log., 2010

2009

Preservation theorems for Kripke models.

Morteza Moniri, Mostafa Zaare

Math. Log. Q., 2009

2008

On the Hierarchy of Intuitionistic Bounded Arithmetic.

Morteza Moniri

J. Log. Comput., 2008

2007

Preservation theorems for bounded formulas.

Morteza Moniri

Arch. Math. Log., 2007

2006

An Independence Result for Intuitionistic Bounded Arithmetic.

Morteza Moniri

J. Log. Comput., 2006

2005

Polynomial induction and length minimization in intuitionistic bounded arithmetic.

Morteza Moniri

Math. Log. Q., 2005

2004

Corrigendum to "Weak Arithmetics and Kripke Models".

Morteza Moniri

Math. Log. Q., 2004

2003

On two questions about feasibly constructive arithmetic.

Morteza Moniri

Math. Log. Q., 2003

Independence results for weak systems of intuitionistic arithmetic.

Morteza Moniri

Math. Log. Q., 2003

Some results on Kripke models over an arbitrary fixed frame.

Seyed Mohammad Bagheri, Morteza Moniri

Math. Log. Q., 2003

Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND.

Morteza Moniri

J. Log. Comput., 2003

Intuitionistic weak arithmetic.

Morteza Moniri

Arch. Math. Log., 2003

2002

Weak Arithmetics and Kripke Models.

Morteza Moniri

Math. Log. Q., 2002

Some Weak Fragments of HA and Certain Closure Properties.

Morteza Moniri, Mojtaba Moniri

J. Symb. Log., 2002

<i>H</i>-theories, fragments of HA and PA-normality.

Morteza Moniri

Arch. Math. Log., 2002