MASOUD POURMAHDIAN - Amirkabir University of Technology

Supervised PhD Theses

#

Thesis title

By

Date

1

NIP and NTP_{2} in generic and coloured expansion of hrushovski constructions

SOMAYE JALILI GALEH

2025 Jan

Supervised MSc Theses

#

Thesis title

By

Date

1

Model theory of pair of structures

SEYEDEH FATEMEH HEJAZINEZHAD

2024 Sep

2

Model Theory of One-Dimensional Asymptotic Classes

FATEME PEIMANY

2023 Jul

3

Almost sure Theories in First Order Logic and its extensions

ZAHRA MOHAMMADI KHANGHESHLAGHI

2023 Mar

4

model theory of valued difference field

BAHAREH BAHARINEZHAD

2021 Apr

5

non locality in quantum information theory

HAMID REZA SAADI

2020 Jul

6

Topic of cardinal arithmetic

ZAKIEH ZAKERY

2020 Jul

7

FRAISSE LIMITS OF C*-ALGEBRAS

MORTEZA NADERI

2020 Jun

8

model theory of algebraically closed valued fields

YASMIN TOUSINEZHAD

2019 Sep

9

Frass construction in continuous logic

FAEZEH SAFAEE & NAZANIN ROSHANDEL TAVANA

2019 Feb

10

pseudofinite structures and simplicity

POUYAN GOUDARZI

2018 Oct

11

Topological Interpretations Of Provability Logic

RAMIN SOLEYMANI

2017 Oct

12

The Modal Logic of Forcing

RAHMAN MOHAMMADPOUR

2015 Sep

13

Topics in model theory of modal logic

YOUNES AHMADI

2015 Feb

14

model theory of neighbourhood structures

MOHAMMAD JAVAD AZIZI HAGHIGHI

2014 Oct

15

Model theory of analytic Zariski structures

MOSTAFA MIRABI

2013 Oct

16

Metrically abstract elementary classes

ABOLFAZL ALAM

2013 Oct

17

some model theoretic aspects in modal logic

REZA SHOORABI

2013 Feb

18

Justified common knowledge

AYDA CHOOPANI

2012 Sep

19

Self referential justifications in epistemic logic

NIMA GHANBARI

2012 Sep

20

Existence of generic automorphisms for first order homogeneous structure

HAMED KHALILIAN

2012 Feb

21

The study of homogeneous universal partial ordered set and the exictence of its generic

NEGAR RANJBAR

2012 Feb

22

Extending partial automorphisms in graphs and metric spaces

ALI SADEGH DAGHIGHI

2011 Oct

23

The genesis of concept of infinity in cantors view and its proportion with paradigms of mathematics

ABOLFAZL HAKIMI PARIZI

2011 Sep

24

Geometric stability theory & application of model theory to algebraic geometry

HOSEIN TAGHINEJAD & FARHAD RAHMATI

2011 Feb

25

computability in banach and measure spaces via domain theory

HOSEIN POURMAHDIAN

2010 Jul

26

Protein function prediction using data mining techniques

SAHAR MADANI & Mina Aminghafari

2009 Dec

27

lambada calculus and exact real computation

MAJADEH PASDAR

2009 Nov

28

analysis the weihrauch approach in computable analysis

ALI AKBAR SAFILIAN & Farzad Didehvar

2009 Nov

29

cone and quasi metric spaces via domain theory

MOHSEN KHANI

2009 Sep

30

Generic1385 Stuctures and Urysohn Space

SOBHAN NARAGHI

2009 Jul

31

Generice space & group therory

FATEMEH RAHBARI

2008 Nov

32

Proof complexity

SHARAR AHMADI & Farzad Didehvar

2008 Sep

33

Generic Structures and Fusion of First Order Theories

ZANIAR GHADERNEZHAD

2008 Sep

34

Bounded complete models of topological spaces

REZA MIRBAQHERIGAM

2007 Aug

35

On the yoneda completion of a quasi metric space

ZOHEIR EFTEKHARI FASAEI

2007 Jul

36

CATEGORICITY IN EXELLENT CLASSES

MASOOD GHAEMI DIZIJEH

2007 Jan

37

PROBABILITY ALGEBRAS IN CONTINUOUS LOGIC

MARJAN ADIB

2006 Oct

38

SOLID MODELING IN DOMAIN THEORY

ILA ROSTAMINASAB

2006 Oct

39

Complete intersection dimension

RAS OOL AHANGARI

2006 Mar

40

Stochastic processes: A computable approach

FATEMEH ASGARI

2025 Mar

Books

#

Title

Author(s)

Publisher country

publication date

version

1

Landscapes in Logic: Selected Topics from Contemporary Logics

POURMAHDIAN MASOUD ، Ali Sadegh Daghighi ، Jamshid Derakhshan ، Melvin Fitting ، Dov Gabbay ، Adrian Rezus

Britain

1

2

Landscapes in Logic: Contemporary Logic and Computing

POURMAHDIAN MASOUD ، Ali Sadegh Daghighi ، Jamshid Derakhshan ، Melvin Fitting ، Adrian Rezus ، Dov Gabbay

Britain

1

3

Logic around the World: On the Occasion of 5th Annual Conference of the Iranian Association for Logic /

POURMAHDIAN MASOUD ، SADEGH DAGHIGHI ALI

Iran

1

Journal Papers

1

JALILI GALEH SOMAYE ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Generic expansions of geometric theories", Journal of Symbolic Logic, 2024 Apr vol. 0, no. 0, pp.1-22, 2024.

2

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، S.M.Khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, 2024 Apr vol. 485, no. 0, pp.1-10, 2024.

3

POURMAHDIAN MASOUD ، Reihaneh Zoghifard, "Probability logic: A model-theoretic perspective", Journal of Logic and Computation, 2021 Mar vol. 131, no. 2, pp.393-415, 2021.

4

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Pseudofiniteness in Hrushovski Constructions", Notre Dame Journal of Formal Logic, 2020 Dec vol. 61, no. 1, pp.1-10, 2020.

5

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Strict Superstablity and Decidability of Certain Generic Graphs", Bulletin of The Iranian Mathematical Society, 2019 Dec vol. 45, no. 6, pp.1839-1854, 2019.

6

AHMADI SHARAR ، FALLAH MEHRANS. ، POURMAHDIAN MASOUD, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, 2019 Nov vol. 43, no. 0, pp.161-175, 2019.

7

Mohammad Amin Khatami ، POURMAHDIAN MASOUD, "contiuous logic", , 2019 Aug vol. 19, no. 1, pp.89-120, 2019.

8

POURMAHDIAN MASOUD ، SADEGH DAGHIGHI ALI, "On Some Properties of Shelah Cardinals", Bulletin of The Iranian Mathematical Society, 2018 Oct vol. 44, no. 5, pp.1117-1124, 2018.

9

Zaniar Ghadernezhad ، Hamed Khalilian ، POURMAHDIAN MASOUD, "Automorphism groups of generic structures: extreme amenability and amenability", Fundamenta Mathematicae, 2018 Apr vol. 242, no. 0, pp.1-23, 2018.

10

POURMAHDIAN MASOUD ، ZOGHI FARD REIHANE, "First-Order Modal Logic: Frame Definability and a Lindstr?m Theorem", Studia Logica, 2017 Aug vol. 106, no. 4, pp.699-720, 2017.

11

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "The Definable Tree Property for Successors of Cardinals", Archive For Mathematical Logic, 2017 Jun vol. 55, no. 5, pp.785-798, 2017.

12

KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, 2016 Oct vol. Vol 26, no. 5, pp.1743-1767, 2016.

13

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, 2015 Dec vol. 25, no. 8, pp.1779-1798, 2015.

14

POURMAHDIAN MASOUD ، Nazanin Roshandel Tavana ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, 2015 Dec vol. 25, no. 8, pp.1779-1798, 2015.

15

KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD, "On the compactness property of extensions of first-order Godel logic", Iranian Journal of Fuzzy Systems, 2015 Aug vol. 12, no. 4, pp.101-121, 2015.

16

POURMAHDIAN MASOUD ، N. R. Tavana, "Compactness in First order Godel logics", Journal of Logic and Computation, 2013 Jun vol. 23, no. 3, pp.473-485, 2013.

17

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Compactness in first order Godel logics", Journal of Logic and Computation, 2012 Sep vol. 23, no. 3, pp.473-485, 2012.

18

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in first order Lukasiewicz logic", Logic Journal of The Igpl, 2012 Feb vol. 20, no. 1, pp.254-265, 2012.

19

Mahdi Aliakbari ، POURMAHDIAN MASOUD, "COMPUTATIONAL MODELS OF CERTAIN HYPERSPACES OF QUASI-METRIC SPACES", Logical Methods In Computer Science, 2011 Oct vol. 7, no. 4, pp.1-25, 2011.

20

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, 2011 Sep vol. 0, no. 0, , 2011.

21

S.M.Bagheri ، POURMAHDIAN MASOUD, "Omitting Types in an Intermediate Logic", Studia Logica, 2011 Apr vol. 97, no. 3, pp.319-328, 2011.

22

POURMAHDIAN MASOUD ، KHANI MOHSEN, "ON THE METRIZABILITY OF CONE METRIC SPACES", Topoplogy and Its Applications, 2011 Feb vol. 158, no. 0, pp.190-193, 2011.

23

Mohammad Bagheri ، Bruno Poizat ، POURMAHDIAN MASOUD, "An arithmetical view to first-order logic", Annals of Pure and Applied Logic, 2010 Mar vol. 161, no. 0, pp.745-755, 2010.

24

Didehvar Farzad ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, 2010 Mar vol. 0, no. 0, , 2010.

25

Didehvar Farzad ، Kaveh ghasemlou ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, 2010 Mar vol. 161, no. 6, pp.788-799, 2010.

26

POURMAHDIAN MASOUD ، Honari Bijan, "Any T_1 space has a continuous poset model", Topology and Its Applications, 2009 Aug vol. 156, no. 13, , 2009.

27

ALI AKBARI MEHDI ، ، POURMAHDIAN MASOUD, "Any T1 space has a continuous poset model", Topology and Its Applications, 2009 Aug vol. , no. 156, , 2009.

28

، POURMAHDIAN MASOUD, "Diagram Construction in Intuitionistic Logic", , 2009 Jun vol. , no. 6, , 2009.

29

MIR MOHAMMAD REZAII MORTEZA ، POURMAHDIAN MASOUD ، Honari Bijan, "The space of formal balls and models of quasi-metric spaces", Mathematical Structures In Computer Science, 2009 Apr vol. 19, no. 2, , 2009.

30

ALI AKBARI MEHDI ، ، POURMAHDIAN MASOUD ، MIR MOHAMMAD REZAII MORTEZA, "The Space of Formal Balls and Models of Quasi-Metric Spaces", Mathematical Structures In Computer Science, 2009 Apr vol. , no. 19, , 2009.

31

، POURMAHDIAN MASOUD, "The Logic of Integration", Archive For Mathematical Logic, 2009 Feb vol. , no. 2, , 2009.

32

، POURMAHDIAN MASOUD, "Elementary Amalgamation and Joint Embedding Property for Intermediate Logics", Logic Journal of The Igpl, 2008 Oct vol. , no. 16, , 2008.

33

POURMAHDIAN MASOUD, "A simple positive Robinson theory with Lstp ? stp", , 2006 Oct vol. , no. 26, , 2006.

34

POURMAHDIAN MASOUD, "The Stable Forking Conjecture in Homogeneous Model Theory", , 2004 Mar vol. , no. 3, , 2004.

35

POURMAHDIAN MASOUD, "Completeness of hyperspaces of compact subsets of quasi-metric spaces", Acta Mathematica Hugarica, vol. 0, no. 0, , .

Conference Papers

1

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "Shelah Cardinals: A Fleeting Glimpse,", 5th Annual Conference of the Iranian Association for Logic, Dec 2017.

2

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "On Large Cardinal Strength of Definable Tree Property,", 3rd Annual Conference of Iranian Association for Logic, Dec 2015.

3

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Quantifier Elimination for an Unstable Generic Structure,", Joint Mathematical Meeting 2015 (AMS & MMA), Jan 2015.

4

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "K compactness in the first order fuzzy logics,", Aug 2008.

5

ALI AKBARI MEHDI ، POURMAHDIAN MASOUD, "On the compieteness of M1(x),", Aug 2008.

6

POURMAHDIAN MASOUD, "Domain theoretic proofs for some fixed point theorems,", Apr 2008.

Taught Courses

#

Course title

Description

Headlines

Date

1

LOGIC

4051

2

Introduction to the Theory of Computation

4051

3

Introduction to Logic & Set Theory

4042

4

Theory of Computation

4032

5

Theory of Computation

4032

6

Introduction to the Theory of Computation

4031