| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 9 |      | Seyed Mohammad Bagheri, Massoud Pourmahdian: Omitting Types in an Intermediate Logic. Studia Logica 97(3): 319-328 (2011) |
| 2010 | ||
| 8 | | Seyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian: An arithmetical view to first-order logic. Ann. Pure Appl. Logic 161(6): 745-755 (2010) |
| 2009 | ||
| 7 | | Seyed Mohammad Bagheri, Massoud Pourmahdian: The logic of integration. Arch. Math. Log. 48(5): 465-492 (2009) |
| 2008 | ||
| 6 | | Seyed Mohammad Bagheri, Massoud Pourmahdian: Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. Logic Journal of the IGPL 16(6): 561-583 (2008) |
| 2006 | ||
| 5 | | Seyed Mohammad Bagheri, Massoud Pourmahdian: Diagram Construction in Intuitionistic Logic. Logic Journal of the IGPL 14(6): 889-901 (2006) |
| 4 | | Seyed Mohammad Bagheri: Some preservation theorems in an intermediate logic. Math. Log. Q. 52(2): 125-133 (2006) |
| 2003 | ||
| 3 | | Seyed Mohammad Bagheri: On translations of complete first order theories. Math. Log. Q. 49(1): 87-91 (2003) |
| 2 | | Seyed Mohammad Bagheri, Morteza Moniri: Some results on Kripke models over an arbitrary fixed frame. Math. Log. Q. 49(5): 479-484 (2003) |
| 1999 | ||
| 1 | | Seyed Mohammad Bagheri: Ordre Fondamental D'Une Théorie 1-Basée. J. Symb. Log. 64(4): 1426-1438 (1999) |
| 1 | Morteza Moniri | [2] |
| 2 | Bruno Poizat | [8] |
| 3 | Massoud Pourmahdian | [5] [6] [7] [8] [9] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page