Morteza Moniri

Available identifiers

zbMath Open moniri.mortezaMaRDI QIDQ535157

List of research outcomes

Publication	Date of Publication	Type
Another neighbourhood semantics for intuitionistic logic	2024-11-15	Paper
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

This page was built for person: Morteza Moniri