Morteza Moniri

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 5

Top Topics

Inclusion Dependencies

Mazurkiewicz Traces

Top Venues

J. Log. Comput.

Publications

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
Another Neighbourhood Semantics for Intuitionistic Logic. Log. J. IGPL 32 (1) (2024)
Somayeh Chopoghloo, Morteza Moniri
An infinitary axiomatization of dynamic topological logic. Log. J. IGPL 30 (1) (2022)
Somayeh Chopoghloo, Morteza Moniri
A strongly complete axiomatization of intuitionistic temporal logic. J. Log. Comput. 31 (7) (2021)
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)
Morteza Moniri
Fuzzy and Intuitionistic Fuzzy Turing Machines. Fundam. Informaticae 123 (3) (2013)
Morteza Moniri, Mostafa Zaare
Homomorphisms and chains of Kripke models. Arch. Math. Log. 50 (3-4) (2011)
Morteza Moniri
Provably recursive functions of constructive and relatively constructive theories. Arch. Math. Log. 49 (3) (2010)
Morteza Moniri, Mostafa Zaare
Preservation theorems for Kripke models. Math. Log. Q. 55 (2) (2009)
Morteza Moniri
On the Hierarchy of Intuitionistic Bounded Arithmetic. J. Log. Comput. 18 (4) (2008)
Morteza Moniri
Preservation theorems for bounded formulas. Arch. Math. Log. 46 (1) (2007)
Morteza Moniri
An Independence Result for Intuitionistic Bounded Arithmetic. J. Log. Comput. 16 (2) (2006)
Morteza Moniri
Polynomial induction and length minimization in intuitionistic bounded arithmetic. Math. Log. Q. 51 (1) (2005)
Morteza Moniri
Corrigendum to "Weak Arithmetics and Kripke Models". Math. Log. Q. 50 (6) (2004)
Morteza Moniri
Intuitionistic weak arithmetic. Arch. Math. Log. 42 (8) (2003)
Morteza Moniri
Independence results for weak systems of intuitionistic arithmetic. Math. Log. Q. 49 (3) (2003)
Morteza Moniri
On two questions about feasibly constructive arithmetic. Math. Log. Q. 49 (4) (2003)
Morteza Moniri
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. J. Log. Comput. 13 (6) (2003)
Seyed Mohammad Bagheri, Morteza Moniri
Some results on Kripke models over an arbitrary fixed frame. Math. Log. Q. 49 (5) (2003)
Morteza Moniri
-theories, fragments of HA and PA-normality. Arch. Math. Log. 41 (1) (2002)
Morteza Moniri
Weak Arithmetics and Kripke Models. Math. Log. Q. 48 (1) (2002)
Morteza Moniri, Mojtaba Moniri
Some Weak Fragments of HA and Certain Closure Properties. J. Symb. Log. 67 (1) (2002)