Massoud Pourmahdian

According to our database, Massoud Pourmahdian authored at least 24 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

The Craig interpolation property in first-order Gödel logic.

Nazanin Tavana, Massoud Pourmahdian, Seyed Amin Khatami

Fuzzy Sets Syst., 2024

Dynamic Probability Logic: Decidability & Computability.

Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian

CoRR, 2024

2021

Probability logic: A model-theoretic perspective.

Massoud Pourmahdian, R. Zoghifard

J. Log. Comput., 2021

2020

Pseudofiniteness in Hrushovski Constructions.

Ali Valizadeh, Massoud Pourmahdian

Notre Dame J. Formal Log., 2020

2019

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication.

Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian

Informatica (Slovenia), 2019

2018

First-Order Modal Logic: Frame Definability and a Lindström Theorem.

R. Zoghifard, Massoud Pourmahdian

Stud Logica, 2018

Preface.

Ali Enayat, Massoud Pourmahdian, Ralf Schindler

Arch. Math. Log., 2018

2016

From rational Gödel logic to ultrametric logic.

Seyed Amin Khatami, Massoud Pourmahdian, Nazanin Roshandel Tavana

J. Log. Comput., 2016

The definable tree property for successors of cardinals.

Ali Sadegh Daghighi, Massoud Pourmahdian

Arch. Math. Log., 2016

2015

Effective metric model theory.

Massoud Pourmahdian, Nazanin Tavana, Farzad Didehvar

Math. Struct. Comput. Sci., 2015

2013

Compactness in first-order Gödel logics.

Massoud Pourmahdian, Nazanin Tavana

J. Log. Comput., 2013

2012

Compactness in first order Łukasiewicz logic.

Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar

Log. J. IGPL, 2012

2011

Omitting Types in an Intermediate Logic.

Seyed Mohammad Bagheri, Massoud Pourmahdian

Stud Logica, 2011

Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Mahdi Aliakbari, Massoud Pourmahdian

Log. Methods Comput. Sci., 2011

2010

Effectiveness in RPL, with applications to continuous logic.

Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian

Ann. Pure Appl. Log., 2010

An arithmetical view to first-order logic.

Seyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian

Ann. Pure Appl. Log., 2010

2009

The space of formal balls and models of quasi-metric spaces.

M. Ali-Akbari, Bijan Honari, Massoud Pourmahdian, M. M. Rezaii

Math. Struct. Comput. Sci., 2009

The logic of integration.

Seyed Mohammad Bagheri, Massoud Pourmahdian

Arch. Math. Log., 2009

2008

Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.

Seyed Mohammad Bagheri, Massoud Pourmahdian

Log. J. IGPL, 2008

2006

Diagram Construction in Intuitionistic Logic.

Seyed Mohammad Bagheri, Massoud Pourmahdian

Log. J. IGPL, 2006

2004

The Stable Forking Conjecture in Homogeneous Model Theory.

Massoud Pourmahdian

Log. J. IGPL, 2004

2003

Simple generic structures.

Massoud Pourmahdian

Ann. Pure Appl. Log., 2003

The stable forking conjecture and generic structures.

Massoud Pourmahdian

Arch. Math. Log., 2003

2002

Smooth Classes without AC and Robinson Theories.

Massoud Pourmahdian

J. Symb. Log., 2002