Morteza Moniri

Available identifiers

zbMath Open moniri.mortezaMaRDI QIDQ535157

List of research outcomes

Publication	Date of Publication	Type
Models of Bounded Arithmetic Theories and Some Related Complexity Questions	2024-02-29	Paper
Representation and Spacetime: The Hole Argument Revisited	2023-08-16	Paper
From forcing to satisfaction in Kripke models of intuitionistic predicate logic	2022-08-10	Paper
An infinitary axiomatization of dynamic topological logic	2022-03-30	Paper
A strongly complete axiomatization of intuitionistic temporal logic	2021-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5215500	2020-02-11	Paper
Forcing and satisfaction in Kripke models of intuitionistic arithmetic	2019-11-04	Paper
Neighborhood Semantics for Basic and Intuitionistic Logic	2017-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5744271	2016-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2932276	2014-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5413345	2014-04-29	Paper
Fuzzy and Intuitionistic Fuzzy Turing Machines	2013-06-27	Paper
Homomorphisms and chains of Kripke models	2011-05-11	Paper
Provably recursive functions of constructive and relatively constructive theories	2010-04-15	Paper
Preservation theorems for Kripke models	2009-04-09	Paper
On the Hierarchy of Intuitionistic Bounded Arithmetic	2008-08-15	Paper
Preservation theorems for bounded formulas	2007-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5393641	2006-10-23	Paper
An Independence Result for Intuitionistic Bounded Arithmetic	2006-07-03	Paper
Polynomial induction and length minimization in intuitionistic bounded arithmetic	2005-02-16	Paper
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND	2004-09-07	Paper
Intuitionistic weak arithmetic	2004-03-07	Paper
Some results on Kripke models over an arbitrary fixed frame	2003-11-10	Paper
\(\mathcal H\)-theories, fragments of HA and PA-normality	2003-09-16	Paper
On two questions about feasibly constructive arithmetic	2003-07-31	Paper
Independence results for weak systems of intuitionistic arithmetic	2003-05-22	Paper
Some weak fragments of HA and certain closure properties	2002-10-29	Paper
Weak Arithmetics and Kripke Models	2002-07-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Morteza Moniri