Massoud Pourmahdian

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 10

Top Topics

Finite Model Theory

Epistemic Logic

General Logic Programs

Top Venues

J. Log. Comput.

Arch. Math. Log.

Math. Struct. Comput. Sci.

Publications

Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian
Dynamic Probability Logic: Decidability & Computability. CoRR (2024)
Nazanin Tavana, Massoud Pourmahdian, Seyed Amin Khatami
The Craig interpolation property in first-order Gödel logic. Fuzzy Sets Syst. 485 (2024)
Massoud Pourmahdian, R. Zoghifard
Probability logic: A model-theoretic perspective. J. Log. Comput. 31 (2) (2021)
Ali Valizadeh, Massoud Pourmahdian
Pseudofiniteness in Hrushovski Constructions. Notre Dame J. Formal Log. 61 (1) (2020)
Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian
On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica (Slovenia) 43 (2) (2019)
R. Zoghifard, Massoud Pourmahdian
First-Order Modal Logic: Frame Definability and a Lindström Theorem. Stud Logica 106 (4) (2018)
Ali Enayat, Massoud Pourmahdian, Ralf Schindler
Preface. Arch. Math. Log. 57 (1-2) (2018)
Seyed Amin Khatami, Massoud Pourmahdian, Nazanin Roshandel Tavana
From rational Gödel logic to ultrametric logic. J. Log. Comput. 26 (5) (2016)
Ali Sadegh Daghighi, Massoud Pourmahdian
The definable tree property for successors of cardinals. Arch. Math. Log. 55 (5-6) (2016)
Massoud Pourmahdian, Nazanin Tavana, Farzad Didehvar
Effective metric model theory. Math. Struct. Comput. Sci. 25 (8) (2015)
Massoud Pourmahdian, Nazanin Tavana
Compactness in first-order Gödel logics. J. Log. Comput. 23 (3) (2013)
Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar
Compactness in first order Łukasiewicz logic. Log. J. IGPL 20 (1) (2012)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Omitting Types in an Intermediate Logic. Stud Logica 97 (3) (2011)
Mahdi Aliakbari, Massoud Pourmahdian
Computational Models of Certain Hyperspaces of Quasi-metric Spaces Log. Methods Comput. Sci. 7 (4) (2011)
Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian
Effectiveness in RPL, with Applications to Continuous Logic CoRR (2010)
Seyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian
An arithmetical view to first-order logic. Ann. Pure Appl. Log. 161 (6) (2010)
Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian
Effectiveness in RPL, with applications to continuous logic. Ann. Pure Appl. Log. 161 (6) (2010)
M. Ali-Akbari, B. Honari, Massoud Pourmahdian, M. M. Rezaii
The space of formal balls and models of quasi-metric spaces. Math. Struct. Comput. Sci. 19 (2) (2009)
Seyed Mohammad Bagheri, Massoud Pourmahdian
The logic of integration. Arch. Math. Log. 48 (5) (2009)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. Log. J. IGPL 16 (6) (2008)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Diagram Construction in Intuitionistic Logic. Log. J. IGPL 14 (6) (2006)
Massoud Pourmahdian
The Stable Forking Conjecture in Homogeneous Model Theory. Log. J. IGPL 12 (3) (2004)
Massoud Pourmahdian
The stable forking conjecture and generic structures. Arch. Math. Log. 42 (5) (2003)
Massoud Pourmahdian
Simple generic structures. Ann. Pure Appl. Log. 121 (2-3) (2003)
Massoud Pourmahdian
Smooth Classes without AC and Robinson Theories. J. Symb. Log. 67 (4) (2002)