logo

Publications

**A. Olfati,**

*One-point extensions of a Tychonoff space $X$ via closed ideals of $C_{B}(X)$*Bull. Malaysian Math. Soc. 47(2024), 1-27 More Info

**M. Ghari,**

*Tableaux and interpolation for propositional justification logics*Notre Dame J. Formal Logic 65(2024), 81-112 More Info

**M. Ghari,**

*A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons*Artificial Intelligence and Law 32(2024), 325-367 More Info

**M. Ghari (Joint with F. Majlesi),**

*An extension of the logic of proofs with actions (In Persian)*Logical Studies 14(2023), 127-145 More Info

**S. Tari,**

*A criterion for the strong cell decomposition property*Arch. Math. Logic 62(2023), 871-887 More Info

**M. Ghari,**

*Linear temporal justification logics with past and future time modalities*Log. J. IGPL 31(2023), 1-38 More Info

**A. Mofidi,**

*On the number of cycles of graphs and VC-dimension*Facta Universitatis, Series: Mathematics and Informatics 37(2022), 121-135 More Info

**S. Salehi,**

*Axiomatic (and non-axiomatic) mathematics*Rocky Mountain J. Math. 52(2022), 1157-1176 More Info

**S. Salehi,**

*`Sometime a Paradox', now proof: Yablo is not first order*Log. J. IGPL 30(2022), 71-77 More Info

**S. Bahrami,**

*Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability*J. Symbolic Logic (to appear) More Info

**A. Mofidi,**

*On the VC-dimension, covering and separating properties of the cycle and spanning tree hypergraphs of graphs*Transactions on Combinatorics 11(2022), 29-43 More Info

**A. Mofidi,**

*Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem*Bull. Iranian Math. Soc. (to appear) More Info

**M. Ghari,**

*A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian)*Logical Studies 12(2021), 129-153 More Info

**K. Khanaki,**

*$\Aleph_0$-categorical Banach spaces contain $\Ell_P$ or $C_0$*Math. Logic Quart. (to appear) More Info

**S. Salehi,**

*Godel 's second incompleteness theorem: How it is derived and what it delivers*Bull. Symbol Logic 26(2020), 241-256 More Info

**S. Tari,**

*Strong cell decomposition property in o-minimal traces*Arch. Math. Logic (2020), DOI: 10.1007/s00153-020-00739-2 More Info

**Sh. Mohsenipour,**

*Discrete orderings in the real spectrum*J. Algebra 560(2020), 1-16 More Info

**. Bahrami,**

*Tanaka's theorem revisited*Arch. Math. Logic (to appear) More Info

**A. Mofidi,**

*On partial cubes, well-graded families and their duals with some applications in graphs*Discrete Appl. Math. (to appear) More Info

**M. Tavangar (Joint with E. Salehi),**

*Stochastic comparisons on conditional residual lifetime and inactivity time of coherent systems with exchangeable components*Statist. Probab. Lett. 145(2019), 327-337 More Info

**S. Salehi (Joint with Z. Assadi),**

*On decidability and axiomatizability of some ordered structures*Soft Computing 23(2019), 3615â??3626 More Info

**M. Golshani (Joint with Y. Hayut),**

*The special aronszajn tree property*J. Math. Log. (2018), DOI: 10.1142/S0219061320500038 More Info

**. Golshani,**

*The generalized Kurepa hypothesis at singular cardinals*Period. Math. Hungar. (2018), DOI: 10.1007/s10998-018-02667-7 More Info

**M. Golshani (Joint with S. Shelah),**

*On cuts in ultraproducts of linear orders II*J. Symbolic Logic 83(2018), 29-39 More Info

**M. Golshani (Joint with Y. Hayut),**

*The tree property on a countable segment of successors of singular cardinals*Fund. Math. 240(2018), 199-204 More Info

**M. Golshani (Joint with M. Gitik),**

*Adding a lot of random reals by adding a few*Fund. Math. 241(2018), 97-108 More Info

**M. Golshani,**

*The tree property at the successor of a singular limit of measurable cardinals*Arch. Math. Logic 57(2018), 3-25 More Info

**M. Golshani (Joint with R. Mohammadpour),**

*The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps*Ann. Pure Appl. Logic 169(2018), 164-175 More Info

**M. R. Koushesh (Joint with A. Khademi),**

*On closed non-vanishing ideals in $C_{B}(X)$ II; compactness properties*Topology Appl. 24(2018), 125-136 More Info

**M. Golshani (Joint with V. Kanovei and V. Lyubetsky),**

*A Groszek-Laver pair of undistinguishable $E_{0}$-classes*Math. Logic Quart. (2017), DOI: 10.1002/malq.201500020 More Info

**M. Golshani,**

*An Easton like theorem in the presence of Shelah cardinals*Arch. Math. Logic 56(2017), 273-287 More Info

**M. Golshani,**

*HOD, V and the GCH*J. Symbolic Logic (2017), 224-246 More Info

**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

**S. Salehi (Joint with P. Seraji),**

*Godel-Rosser's incompleteness theorem, generalized and optimized for definable theories*J. Logic Comput. 27(2017), 1391-1397 More Info

**A . Khamseh and G. R. Omidi,**

*A generalization of Ramsey theory for stars and one matching*Math. Reports 19(2017), 85-92 More Info

**M. Golshani (Joint with S. Shelah),**

*On cuts in ultraproducts of linear orders I*J. Math. Log. (2016), DOI: 10.1142/S0219061316500082 More Info

**M. Golshani (Joint with Y. Hayut),**

*On Foreman's maximality principle*J. Symbolic Logic 81(2016), 1344-1356 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

**M. Golshani (Joint with J. Cummings and Sy. D. Friedman),**

*Collapsing the cardinals of Hod*J. Math. Log. 15(2015), DOI: 10.1142/S0219061315500075 More Info

**M. Golshani (Joint with M. Gitik),**

*Adding a lot of Cohen reals by adding a few. II*Fund. Math. 231(2015), 209-224 More Info

**M. Golshani (Joint with A. S. Daghighi, J. Hamkins, and E. Jerabek),**

*The foundation axiom and elementary self-embeddings of the universe*23 Infinity, computability, and metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, S. Geschke, B. LÃ¶we, and P. Schlicht, Coll. Publ., London, , 89-112, (2014) 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. Salehi,**

*Godel's incompleteness phenomenon-computationally*Philosophia Scientiae 18(2014), 23-37 More Info

**M. Golshani,**

*More on almost Souslin Kurepa trees*Proc. Amer. Math. Soc. 142(2014), 3631-3634 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 78(2013), 803-823 More Info

**Mor. Moniri,**

*Fuzzy and intuitionistic fuzzy Turing machines*Fundamenta Informaticae 123(2013), 305-315 More Info

**S. Salehi,**

*Axiomatizing mathematical theories: Multiplication*Proceedings of Frontiers in Mathematical Sciences, , , 165-176, (2012) More Info

**S. Salehi,**

*Computation in logic and logic in computation*Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences 2012, , , , (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. Salehi,**

*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