Massoud Pourmahdian

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