Publications

A. Mofidi, On Some Dynamical Aspects Of NIP Theories Arch. Math. Logic (to appear) More Info
Z. Ghadrenezhad and M. Pourmahdian (Joint with H. Khalilian), Automorphism groups of generic structures: extreme amenability and amenability Fund. Math. (to appear) More Info
M. Ghari (Joint with S. Bucheli and T. Studer), Temporal Justification Logic 243 Electronic Proceedings in Theoretical Computer Science, , , 59-74, (2017)  More Info
S. Tari, Some definable properties of sets in non-valuational weakly o-minimal structures Arch. Math. Logic (2017), DOI: 10.1007/s00153-017-0523-1  More Info
M. Ghari, Labeled sequent calculusfor justification logics Ann. Pure Appl. Logic 168(2017), 72-111  More Info
K. Khanaki, Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic Fund. Math. 234(2016), 253-286  More Info
M. Ghari, Pavelka-style fuzzy justification logics Log. J. IGPL 24(2016), 743-773  More Info
S. Salehi (Joint with P. Seraji), Godel-Rosser's incompleteness theorem, generalized and optimized for definable theories J. Logic Comput. (2016), DOI: 10.1093/logcom/exw025  More Info
A . Khamseh and G. R. Omidi, A generalization of Ramsey theory for stars and one matching Math. Reports (to appear) More Info
M. Pourmahdian and N. Roshandel Tavana (Joint with S. M. A. Khatami), From rational Godel logic to ultrametric logic J. Logic Comput. (to appear) More Info
N. Roshandel Tavana (Joint with K. Weihrauch), Representations of measurable sets in computable measure theory LMCS (2014), DOI: 10.2168/LMCS(3:7)2014  More Info
A. Khamseh (Joint with M. Aghaei), Combinatorial unprovability proofs and their model-theoretic counterparts Notre Dame J. Formal Logic 55(2014), 231-244  More Info
M. Ghari, Distributed knowledge justification logics Theory Comput. Syst. 55(2014), 1-40  More Info
S. Akbari, G.B. Khosrovshahi and A. Mofidi, Nowhere-zero 6-flows: A linear algebraic approach Bull. Inst. Combin. Appl. (to appear) More Info
S. Salehipourmehr , Godel's incompleteness phenomenon-computationally Philosophia Scientiae (to appear) More Info
M. Pourmahdian and N. R. Tavana (Joint with F. Didehvar), Effective metric model theory Math. Structures Comput. Sci. (2014), DOI: 10.1017/S0960129513000352  More Info
M. Golshani (Joint with Sy-D. Friedman), Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH Fund. Math. 223(2013), 171-193  More Info
S. M . Bagheri (Joint with Mor. Moniri), Preservation theorems in Lukasiewicz model theory Iran. J. Fuzzy Syst. 10(2013), 103-113  More Info
S. Salehi, Herbrand consistency of some finite fragments of bounded arithmetical theories Arch. Math. Logic 52(2013), 317-333  More Info
M. Moniri (Joint with S. H. Sajjadi), Regular cuts in models of bounded arithmetic Bull. Sect. Logic Univ. ?odz (to appear) More Info
M. Golshani (Joint with Sy-D. Friedman), Killing the GCH everywhere with a single real J. Symbolic Logic (to appear) More Info
M. Golshani, More on almost Souslin Kurepa trees Proc. Amer. Math. Soc. (to appear) More Info
Mor. Moniri, Fuzzy and intuitionistic fuzzy Turing machines Fundamenta Informaticae 123(2013), 305-315  More Info
S. Salehipourmehr , Computation in Logic and Logic in Computation Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences, , , 580-583, (2012)  More Info
M. Pourmahdian and N. R. Tavana, Compactness in first-order Godel logics J. Logic Comput. (2012), DOI 10.1093/logcom/exs037  More Info
S. Salehipourmehr, Herbrand consistency of some arithmetical theories J. Symbolic Logic 77(2012), 807-827  More Info
M. Goshani (Joint with Sy-D. Friedman), Independence of higher Kurepa hypotheses Arch. Math. Logic 51(2012), 621-633  More Info
M. Golshani (Joint with E. Eslami), Shelah's strong covering property and CH in $V[r]$ Math. Logic Quart. 58(2012), 153-158  More Info
M. Golshani, Almost Souslin Kurepa trees Proc. Amer. Math. Soc. 141(2012), 1821-1826  More Info
M. S. Fallah (Joint with B. Sattarzadeh), Is cryptic able to detect insider attacks? LNCS, , , 230-244, (2011)  More Info
M. S. Fallah (Joint with A. Afshar), Reconstructing security types for automated policy enforcement in FABLE International Conference on Network and System Security, IEEE Computer Society Press, , 358-363, (2011)  More Info
Mor. Moniri (Joint with H. Farahani and R. A. Borzooei), Logical characterization of filters on BL-algebras J. of Mult.-Valued Logic and Soft Computing (to appear) More Info
M. Pourmahidan and M. Ali-Akbari, Computational models of certain hyperspace of quasi-metric spaces LMCS 7(2011), 1-25  More Info
S. Akbari, G. B. Khosrovshahi and A. Mofidi, Zero-sum flows in designs J. Combin. Des. 19(2011), 355-364  More Info
M. S. Fallah (Joint with A. Noorollahi), A logical view of nonmonotonicity in access control Poceedings of the International Wrokshop on Model-Based and Policy-Based Engineering in Information Security, , , , (2011)  More Info
S. M. Bagheri and M. Pourmahdian, Omitting types in an intermediate logic Studia Logica 97(2011), 319-328  More Info
Sh. Mohsenipour, Hierarchies of subsystems of weak arithmetic Lect. Notes Log. 36(2011), 80-92  More Info
Sh. Mohsenipour, Model theory of the inaccessibility scheme Arch. Math. Logic 50(2011), 697-706  More Info
M. Pourmahdian (Joint with M. Khani), On the metrizability of cone metric spaces Topology Appl. 158(2011), 190-193  More Info
M. Pourmahdian (Joint with M. Aliakbari), Completeness of hyperspaces of compact subsets of quasi-metric spaces Acta Math. Hungar. 127(2010), 260-272  More Info
M. Pourmahdian (Joint with F. Didehvar and K. Ghasemloo), Effectiveness in RPL, with applications to continuous logic Ann. Pure Appl. Logic 161(2010), 709-828  More Info
M. Pourmahdian (Joint with M. Ali-Akbari and B. Honari), Any $T_{1}$ space has a continous poset model Topology Appl. (to appear) More Info
M. Pourmahdian (Joint with M. Ali-Akbari, B. Honari, and M. M. Rezaeii), The space of formal balls and models of quasi-metric spaces Math. Structures Comput. Sci. (to appear) More Info
S. M. Bagheri and M. Pourmahdian, Elementary amalgamation and joint embedding property for intermediate logics Log. J. IGPL (to appear) More Info
Sh. Mohsenipour (Joint with A. Enayat), Model theory of the regularity and reflection schemes Arch. Math. Logic 47(2008), 447-464  More Info
Sh. Mohsenipour, On Keisler singular-like models Math. Logic Quart. 54(2008), 324-330  More Info
E. Eslami (Joint with J. J. Buckley), Pricing stock options using black-scholes and fuzzy sets IJFS 4(2008), 165-176  More Info
F. Didehvar (Sh. Arab, Ch. Eslahchi, and M. Sadeghi), Helix segment assignment in proteins using fuzzy logic IRANIAN JOURNAL of BIOTECHNOLOGY 5(2007), 93-99  More Info
S. M. Ayat, The Skolem-Bang theorems in ordered fields with an IP J. Algebra (to appear) More Info
Sh. Mohsenipour, A generalization of the Keisler-Morley theorem to recursively saturated ordered structures Math. Logic Quart. 53(2007), 289-294  More Info
Sh. Mohsenipour, A note on subsystems of open induction J. Symbolic Logic 72(2007), 1318-1322  More Info
E. Eslami (Joint with J. J. Buckley), Pricing forwards/futures and swaps using fuzzy sets Adv. in Fuzzy Sets and Systems 2(2007), 143?163  More Info
Mor. Moniri, Preservation theorems for bounded formulas Arch. Math. Logic 46(2007), 9-14  More Info
S. M. Bagheri and M. Pourmahdian, Diagram construction in intuitionistic logic Log. J. IGPL 16(2006), 889-901  More Info
Sh. Mohsenipour, A recursive nonstandard model for open induction with GCD property and confinal primes Lect. Notes Log. 26(2006), 227-238  More Info
M. Pourmahdian (Joint with F. Wagner), A simple positive Robinson theory with $LSTP\neq STP$ Lect. Notes Log. 26(2006), 270-283  More Info
M. Alizadeh (Joint with M. Ardeshir), Amalgamation property for the class of basic algebras and some of its natural subclasses Arch. Math. Logic 45(2006), 913-930  More Info
M. Alizadeh (Joint with M. Ardeshir), On L\"{o}b algebras Math. Logic Quart. 52(2006), 95-105  More Info
S. M. Bagheri, Categoricity and quantifier elimination for intuitionistic theories Lect. Notes Log. 26(2006), 23-41  More Info
S. M. Bagheri, Some preservation theorems in an intermediate logic Math. Logic Quart. 52(2006), 125-133  More Info
Mor. Moniri, Model theory of bounded arithmetic with applications to independence results Lect. Notes Log. 26(2006), 239-247  More Info
M. Ghasemi and Moj. Moniri, Beatty sequences and the arithmetical hierarchy Lect. Notes Log. 26(2006), 126-133  More Info
S. M. Ayat and Moj. Moniri, Real closed fields and IP-sensitivity Lect. Notes Log. 26(2006), 1-22  More Info
Mor. Moniri, Polynomial induction and length minimization in intuitionistic bounded arithmetic Math. Logic Quart. 51(2005), 73-76  More Info
S. M. Bagheri and Moj. Moniri, Joint embedding and amalgamation for certain classes of ordered fields J. Appl. Algebra Discrete Struct. 3(2005), 159-167  More Info
Mor. Moniri, Corrigendum to: "weak arithmetics and Kripke models" Math. Logic Quart. 50(2004), 637-638  More Info
M. Pourmahdian, The stable forking conjecture in homogeneous model theory Log. J. IGPL 12(2004), 171-180  More Info
M. Alizadeh and M. Ardeshir, On the linear Lindenbaum algebra of Basic Propositional Logic Math. Logic Quart. 50(2004), 65-70  More Info
S. M. Bagheri, On translations of complete first order theories Math. Logic Quart. 49(2003), 87-91  More Info
Moj. Moniri and J. S. Eivazloo, Relatively complete ordered fields without integer parts Fund. Math. 179(2003), 17-25  More Info
M. Aghaei and M. Ardeshir, A Gentzen-style axiomatization for basic predicate calculus Arch. Math. Logic 42(2003), 245-259  More Info
Mor. Moniri, Comparing constructive arithmetical theories based on $NP$-PIND and co$NP$-PIND J. Logic Comput. 13(2003), 881-888  More Info
S. M. Bagheri and Mor. Moniri, Some results on Kripke models over an arbitrary fixed frame Math. Logic Quart. 49(2003), 479-484  More Info
Mor. Moniri, Intuitionistic weak arithmetic Arch. Math. Logic 42(2003), 791-796  More Info
J. S. Eivazloo and Moj. Moniri, Expansions of ordered fields without definable gaps Math. Logic Quart. 49(2003), 72-82  More Info
Mor. Moniri, On two questions about feasibly Constructive Arithmetic Math. Logic Quart. 49(2003), 425-427  More Info
Mor. Moniri, Independence results for weak systems of intuitionistic arithmetic Math. Logic Quart. 49(2003), 250-254  More Info
M. Pourmahdian, Simple generic structures Ann. Pure Appl. Logic 121(2003), 227-260  More Info
M. Pourmahdian, The stable forking conjecture and generic structures Arch. Math. Logic 42(2003), 415-421  More Info
Moj. Moniri and J. S. Eivazloo, Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues Proceedings of the Ninth Prague Topological Symposium, Petr Simon, ed., Topol. Atlas, 195-203, (2002)  More Info
Moj. Moniri and J. S. Eivazloo, Pathological functions on Puiseux series ordered fields and others Lobachevskii J. Math. 11(2002), 13-18  More Info
Mor. Moniri, Weak arithmetics and Kripke models Math. Logic Quart. 48(2002), 157--160  More Info
Mor. Moniri and Moj. Moniri, Some weak fragments of $HA$ and certain closure properties J. Symbolic Logic 67(2002), 91-103  More Info
Mor. Moniri, ${\cal H}$-theories, fragments of $HA$ and $PA$-normality Arch. Math. Logic 41(2002), 101-105  More Info
M. Pourmahdian, Smooth classes without AC and Robinson theories J. Symbolic Logic 67(2002), 1274-1294  More Info
M. Aghaei and M. Ardeshir, Gentzen-style axiomatizations for some conservative extensions of basic propositional logic Studia Logica 68(2001), 263-285  More Info
M. Aghaei and M. Ardeshir, A bounded translation of intuitionistic propositional logic into basic propositional logic Math. Logic Quart. 46(2000), 199-206  More Info
F. Didehvar, On a class of recursively enumerable sets Math. Logic Quart. 45(1999), 467-470  More Info
S. M. Bagheri, Fundamental order of a one-based theory J. Symbolic Logic 64(1999), 1426-1438  More Info
M. Ardeshir and Moj. Moniri, Intuitionistic open induction and least number principle and the Buss operator Notre Dame J. Formal Logic 39(1998), 212-220  More Info
S.S. Goncharov and M. Pourmahdian, Iterated expansions of models for countable theories and their applications Algebra and Logic 34(1995), 346-358  More Info