| |
| 2006 | ||
|---|---|---|
| 5 | EE | Seyed Mohammad Bagheri, Massoud Pourmahdian: Diagram Construction in Intuitionistic Logic. Logic Journal of the IGPL 14(6): 889-901 (2006) |
| 4 | EE | Seyed Mohammad Bagheri: Some preservation theorems in an intermediate logic. Math. Log. Q. 52(2): 125-133 (2006) |
| 2003 | ||
| 3 | EE | Seyed Mohammad Bagheri: On translations of complete first order theories. Math. Log. Q. 49(1): 87-91 (2003) |
| 2 | EE | 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 | Massoud Pourmahdian | [5] |