Search the dblp DataBase

Publications of Author

1. Seyed Mohammad Bagheri, Massoud Pourmahdian
   Diagram Construction in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2006, v:14, n:6, pp:889-901 [Journal]
   
2. Seyed Mohammad Bagheri
   Ordre Fondamental D'Une Théorie 1-Basée. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:4, pp:1426-1438 [Journal]
   
3. Seyed Mohammad Bagheri
   On translations of complete first order theories. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:1, pp:87-91 [Journal]
   
4. Seyed Mohammad Bagheri, Morteza Moniri
   Some results on Kripke models over an arbitrary fixed frame. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:5, pp:479-484 [Journal]
   
5. Seyed Mohammad Bagheri
   Some preservation theorems in an intermediate logic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:2, pp:125-133 [Journal]
   
6. 
   The logic of integration. [Citation Graph (, )][DBLP]
   
   
7. 
   An arithmetical view to first-order logic. [Citation Graph (, )][DBLP]