Morteza Moniri - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2024

Another Neighbourhood Semantics for Intuitionistic LogicMorteza Moniri, Fatemeh Shirmohammadzadeh Maleki. igpl, 32(1):64-75, January 2024. [doi]

2022

An infinitary axiomatization of dynamic topological logicSomayeh Chopoghloo, Morteza Moniri. igpl, 30(1):124-142, 2022. [doi]

2021

A strongly complete axiomatization of intuitionistic temporal logicSomayeh Chopoghloo, Morteza Moniri. logcom, 31(7):1640-1659, 2021. [doi]

2019

Forcing and satisfaction in Kripke models of intuitionistic arithmeticMaryam Abiri, Morteza Moniri, Mostafa Zaare. igpl, 27(5):659-670, 2019. [doi]

2018

From forcing to satisfaction in Kripke models of intuitionistic predicate logicMaryam Abiri, Morteza Moniri, Mostafa Zaare. igpl, 26(5):464-474, 2018. [doi]

2013

Fuzzy and Intuitionistic Fuzzy Turing MachinesMorteza Moniri. FUIN, 123(3):305-315, 2013. [doi]

2011

Homomorphisms and chains of Kripke modelsMorteza Moniri, Mostafa Zaare. AML, 50(3-4):431-443, 2011. [doi]

2010

Provably recursive functions of constructive and relatively constructive theoriesMorteza Moniri. AML, 49(3):291-300, 2010. [doi]

2009

Preservation theorems for Kripke modelsMorteza Moniri, Mostafa Zaare. mlq, 55(2):177-184, 2009. [doi]

2008

On the Hierarchy of Intuitionistic Bounded ArithmeticMorteza Moniri. logcom, 18(4):625-630, 2008. [doi]

2007

Preservation theorems for bounded formulasMorteza Moniri. AML, 46(1):9-14, 2007. [doi]

2006

An Independence Result for Intuitionistic Bounded ArithmeticMorteza Moniri. logcom, 16(2):199-204, 2006. [doi]

2005

Polynomial induction and length minimization in intuitionistic bounded arithmeticMorteza Moniri. mlq, 51(1):73-76, 2005. [doi]

2004

Corrigendum to Weak Arithmetics and Kripke Models Morteza Moniri. mlq, 50(6):637-638, 2004. [doi]

2003

Some results on Kripke models over an arbitrary fixed frameSeyed Mohammad Bagheri, Morteza Moniri. mlq, 49(5):479-484, 2003. [doi]

Intuitionistic weak arithmeticMorteza Moniri. AML, 42(8):791-796, 2003. [doi]

On two questions about feasibly constructive arithmeticMorteza Moniri. mlq, 49(4):425-427, 2003. [doi]

Independence results for weak systems of intuitionistic arithmeticMorteza Moniri. mlq, 49(3):250-254, 2003. [doi]

Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PINDMorteza Moniri. logcom, 13(6):881-888, 2003. [doi]

2002

::::H::::-theories, fragments of HA and PA-normalityMorteza Moniri. AML, 41(1):101-105, 2002. [doi]

Some Weak Fragments of HA and Certain Closure PropertiesMorteza Moniri, Mojtaba Moniri. JSYML, 67(1):91-103, 2002.

Weak Arithmetics and Kripke ModelsMorteza Moniri. mlq, 48(1):157-160, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL