Seyed-Mohammad Bagheri

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 4

Top Topics

Logical Framework

Piecewise Linear

Top Venues

J. Log. Comput.

Arch. Math. Log.

Publications

Seyed-Mohammad Bagheri
The isomorphism theorem for linear fragments of continuous logic. Math. Log. Q. 67 (2) (2021)
Seyed-Mohammad Bagheri
The logic of linear propositions. Log. J. IGPL 27 (6) (2019)
Mahya Malekghasemi, Seyed-Mohammad Bagheri
Maximality of linear continuous logic. Math. Log. Q. 64 (3) (2018)
Seyed-Mohammad Bagheri, Roghieh Safari
Completeness for linear continuous logic. J. Log. Comput. 27 (4) (2017)
Seyed-Mohammad Bagheri, Roghieh Safari
Preservation theorems in linear continuous logic. Math. Log. Q. 60 (3) (2014)
Seyed-Mohammad Bagheri
Linear model theory for Lipschitz structures. Arch. Math. Log. 53 (7-8) (2014)
Alireza Mofidi, Seyed-Mohammad Bagheri
Quantified universes and ultraproducts. Math. Log. Q. 58 (1-2) (2012)
Karim Khanaki, Seyed-Mohammad Bagheri
Random variables and integral logic. Math. Log. Q. 57 (5) (2011)
Seyed-Mohammad Bagheri
A Los type theorem for linear metric formulas. Math. Log. Q. 56 (1) (2010)