dblp.uni-trier.dewww.uni-trier.de

Seyed Mohammad Bagheri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
6EESeyed Mohammad Bagheri, Massoud Pourmahdian: Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. Logic Journal of the IGPL 16(6): 561-583 (2008)
2006
5EESeyed Mohammad Bagheri, Massoud Pourmahdian: Diagram Construction in Intuitionistic Logic. Logic Journal of the IGPL 14(6): 889-901 (2006)
4EESeyed Mohammad Bagheri: Some preservation theorems in an intermediate logic. Math. Log. Q. 52(2): 125-133 (2006)
2003
3EESeyed Mohammad Bagheri: On translations of complete first order theories. Math. Log. Q. 49(1): 87-91 (2003)
2EESeyed 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)

Coauthor Index

1Morteza Moniri [2]
2Massoud Pourmahdian [5] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)