Massoud Pourmahdian - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2020

Pseudofiniteness in Hrushovski ConstructionsAli Valizadeh, Massoud Pourmahdian. ndjfl, 61(1):1-10, 2020. [doi]

2019

On the Properties of Epistemic and Temporal Epistemic Logics of AuthenticationSharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian. informaticaSI, 43(2), 2019. [doi]

2018

PrefaceAli Enayat, Massoud Pourmahdian, Ralf Schindler. AML, 57(1-2):1-2, 2018. [doi]

2016

The definable tree property for successors of cardinalsAli Sadegh Daghighi, Massoud Pourmahdian. AML, 55(5-6):785-798, 2016. [doi]

From rational Gödel logic to ultrametric logicSeyed Amin Khatami, Massoud Pourmahdian, Nazanin Roshandel Tavana. logcom, 26(5):1743-1767, 2016. [doi]

2015

Effective metric model theoryMassoud Pourmahdian, Nazanin Tavana, Farzad Didehvar. mscs, 25(8):1779-1798, 2015. [doi]

2013

Compactness in first-order Gödel logicsMassoud Pourmahdian, Nazanin Tavana. logcom, 23(3):473-485, 2013. [doi]

2012

Compactness in first order Łukasiewicz logicNazanin Tavana, Massoud Pourmahdian, Farzad Didehvar. igpl, 20(1):254-265, 2012. [doi]

2011

Omitting Types in an Intermediate LogicSeyed Mohammad Bagheri, Massoud Pourmahdian. sLogica, 97(3):319-328, 2011. [doi]

2010

An arithmetical view to first-order logicSeyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian. APAL, 161(6):745-755, 2010. [doi]

Effectiveness in RPL, with applications to continuous logicFarzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian. APAL, 161(6):789-799, 2010. [doi]

2009

The logic of integrationSeyed Mohammad Bagheri, Massoud Pourmahdian. AML, 48(5):465-492, 2009. [doi]

2008

Elementary Amalgamation and Joint Embedding Property for Intermediate LogicsSeyed Mohammad Bagheri, Massoud Pourmahdian. igpl, 16(6):561-583, 2008. [doi]

2006

Diagram Construction in Intuitionistic LogicSeyed Mohammad Bagheri, Massoud Pourmahdian. igpl, 14(6):889-901, 2006. [doi]

2004

The Stable Forking Conjecture in Homogeneous Model TheoryMassoud Pourmahdian. igpl, 12(3):171-180, 2004. [doi]

2003

The stable forking conjecture and generic structuresMassoud Pourmahdian. AML, 42(5):415-421, 2003. [doi]

Simple generic structuresMassoud Pourmahdian. APAL, 121(2-3):227-260, 2003. [doi]

2002

Smooth Classes without AC and Robinson TheoriesMassoud Pourmahdian. JSYML, 67(4):1274-1294, 2002.

Sign in or sign up to see more results.

runs on WebDSL