1
Nazanin Roshandel Tavana, Masoud Pourmahdian, S.M.Khatami, "The Craig interpolation property in first-order G?del logic", FUZZY SETS AND SYSTEMS, April 2024
Vol. 485,
Num. 0,
Page 1-10,
April 2024,
2
Masoud Pourmahdian, Reihaneh Zoghifard, "Probability logic: A model-theoretic perspective", JOURNAL OF LOGIC AND COMPUTATION, March 2021
Vol. 131,
Num. 2,
Page 393-415,
March 2021,
3
Ali Valizadeh, Masoud Pourmahdian, "Pseudofiniteness in Hrushovski Constructions", Notre Dame Journal of Formal Logic, December 2020
Vol. 61,
Num. 1,
Page 1-10,
December 2020,
4
Ali Valizadeh, Masoud Pourmahdian, "Strict Superstablity and Decidability of Certain Generic Graphs", BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, December 2019
Vol. 45,
Num. 6,
Page 1839-1854,
December 2019,
5
Sharar Ahmadi, Mehrans. Fallah, Masoud Pourmahdian, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", INFORMATICA, November 2019
Vol. 43,
Num. 0,
Page 161-175,
November 2019,
6
Mohammad Amin Khatami, Masoud Pourmahdian, "contiuous logic", , August 2019
Vol. 19,
Num. 1,
Page 89-120,
August 2019,
7
Ali Sadegh Daghighi, Masoud Pourmahdian, "On Some Properties of Shelah Cardinals", Bulletin of the Iranian Mathematical Society, October 2018
Vol. 44,
Num. 5,
Page 1117-1124,
October 2018,
8
Zaniar Ghadernezhad, Hamed Khalilian, Masoud Pourmahdian, "Automorphism groups of generic structures: extreme amenability and amenability", FUNDAMENTA MATHEMATICAE, April 2018
Vol. 242,
Num. 0,
Page 1-23,
April 2018,
9
Masoud Pourmahdian, Reihane Zoghi Fard, "First-Order Modal Logic: Frame Definability and a Lindstr?m Theorem", Studia Logica, August 2017
Vol. 106,
Num. 4,
Page 699-720,
August 2017,
10
Ali Sadegh Daghighi, Masoud Pourmahdian, "The Definable Tree Property for Successors of Cardinals", ARCHIVE FOR MATHEMATICAL LOGIC, June 2017
Vol. 55,
Num. 5,
Page 785-798,
June 2017,
11
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana, "From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION, October 2016
Vol. Vol 26,
Num. 5,
Page 1743-1767,
October 2016,
12
Masoud Pourmahdian, Nazanin Roshandel Tavana, Farzad Didehvar, "Effective metric model theory", MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, December 2015
Vol. 25,
Num. 8,
Page 1779-1798,
December 2015,
13
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, "On the compactness property of extensions of first-order Godel logic", IRANIAN JOURNAL OF FUZZY SYSTEMS, August 2015
Vol. 12,
Num. 4,
Page 101-121,
August 2015,
14
Masoud Pourmahdian, N. R. Tavana, "Compactness in First order Godel logics", JOURNAL OF LOGIC AND COMPUTATION, June 2013
Vol. 23,
Num. 3,
Page 473-485,
June 2013,
15
Mahdi Aliakbari, Masoud Pourmahdian, "COMPUTATIONAL MODELS OF CERTAIN HYPERSPACES OF
QUASI-METRIC SPACES", LOGICAL METHODS IN COMPUTER SCIENCE, October 2011
Vol. 7,
Num. 4,
Page 1-25,
October 2011,
16
Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "Compactness in First Order Lukasiewicz Logic", LOGIC JOURNAL OF THE IGPL, September 2011
Vol. 0,
Num. 0,
Page 0-0,
September 2011,
17
S.M.Bagheri, Masoud Pourmahdian, "Omitting Types in an Intermediate Logic", Studia Logica, April 2011
Vol. 97,
Num. 3,
Page 319-328,
April 2011,
18
Farzad Didehvar, Kaveh Ghasemlou, Masoud Pourmahdian, "Effectiveness in RPL, with applications to continuous logic", ANNALS OF PURE AND APPLIED LOGIC, March 2010
Vol. 161,
Num. 6,
Page 788-799,
March 2010,
19
Mehdi Ali Akbari, [en-name N/A], Masoud Pourmahdian, "Any T1 space has a continuous poset model", , August 2009
Vol. ,
Num. 156,
Page 0-0,
August 2009,
20
[en-name N/A], Masoud Pourmahdian, "Diagram Construction in Intuitionistic Logic", , June 2009
Vol. ,
Num. 6,
Page 0-0,
June 2009,
21
Mehdi Ali Akbari, [en-name N/A], Masoud Pourmahdian, Morteza Mir Mohammad Rezaii, "The Space of Formal Balls and Models of Quasi-Metric Spaces", , April 2009
Vol. ,
Num. 19,
Page 0-0,
April 2009,
22
[en-name N/A], Masoud Pourmahdian, "The Logic of Integration", , February 2009
Vol. ,
Num. 2,
Page 0-0,
February 2009,
23
[en-name N/A], Masoud Pourmahdian, "Elementary Amalgamation and Joint Embedding Property for Intermediate Logics", , October 2008
Vol. ,
Num. 16,
Page 0-0,
October 2008,
24
Masoud Pourmahdian, "A simple positive Robinson theory with Lstp ? stp", , October 2006
Vol. ,
Num. 26,
Page 0-0,
October 2006,
25
Masoud Pourmahdian, "The Stable Forking Conjecture in Homogeneous Model Theory", , March 2004
Vol. ,
Num. 3,
Page 0-0,
March 2004,
26
Masoud Pourmahdian, "Completeness of hyperspaces of compact subsets of quasi-metric spaces", Acta mathematica hugarica,
Vol. 0,
Num. 0,
Page 0-0,
,