4 citations · 8 across the 18 of their papers we have counts for
21 papers
Goldblatt-Thomason Theorem for Probability Logic
Somayeh Chopoghloo, Massoud Pourmahdian, Reihane Zoghifard
Probability logic (PL) extends propositional logic with countably many probability operators, one for each rational number between 0 and 1. The formulas of this logic are interpret…
Simple Models of Randomization and Preservation Theorems
Karim Khanaki, Massoud Pourmahdian
The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization of a complete first-order th…
Dynamic Probability Logic: Decidability & Computability
Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian
In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system is introduced for DPL and s…
Dynamic Probability Logics: Axiomatization & Definability
Somayeh Chopoghloo, Massoud Pourmahdian
We first study probabilistic dynamical systems from logical perspective. To this purpose, we introduce the finitary dynamic probability logic} (), as well as its infi…
The Craig Interpolation Property in First-order Gödel Logic
Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana
In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, , as well as its extension associated with first-order…
Bi-Colored Expansions of Geometric Theories
Somayye Jalili, Mohsen Khani, Massoud Pourmahdian
This paper concerns the study of Bi-colored expansions of geometric theories in the light of the Fraïssé-Hrushovski construction method. Substructures of models of a geometric theo…
A Tame Generic Structure with Non-Algebraic Geometric Closure
Somaye Jalili, Massoud Pourmahdian, Ali N. Valizadeh
By providing a procedure to apply Hrushovski's amalgamation method to the setting of classes of infinite structures, we introduce the notion of \textit{paracollapsed} structures. W…
Continuous integration logic
Seyed-Mohammad Bagheri, Massoud Pourmahdian
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultrap…
Strict Superstablity and Decidability of Certain Generic Graphs
Ali N. Valizadeh, Massoud Pourmahdian
We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each we int…
Pseudofiniteness in Hrushovski Constructions
Ali N. Valizadeh, Massoud Pourmahdian
In a relational language consisting of a single relation we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notab…
Probability Logic: A Model Theoretic Perspective
Massoud Pourmahdian, Reihane Zoghifard
In this paper (propositional) probability logic () is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for -additive p…
A Dependent Bi-Coloured Field
Mohsen Khani, Massoud Pourmahdian
We have considered a Fraisse class of finitely generated ordered real fields with a colour predicate. A predimension map is defined on finite sets and the Fraisse limit of the clas…
On Some Properties of Shelah Cardinals
Ali Sadegh Daghighi, Massoud Pourmahdian
We present several results concerning Shelah cardinals.
Some Model Theoretic Properties of Non-AC Generic Structures
Ali N. Valizadeh, Massoud Pourmahdian
In the context of Hrushovski constructions we take a language with a ternary relation and consider the theory of the generic models of the class…
First-Order Modal Logic: Frame Definability and Lindström Theorems
Reihane Zoghifard, Massoud Pourmahdian
This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.
Definable tree property for successors of cardinals
Ali Sadegh Daghighi, Massoud Pourmahdian
It is proved that the consistency strength of having definable tree property for successors of all regular cardinals is the consistency strength of having proper class many small l…
Automorphism Groups of Generic Structures: Extreme Amenability and Amenability
Zaniar Ghadernezhad, Hamed Khalilian, Massoud Pourmahdian
We investigate correspondences between extreme amenability and amenability of automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from smooth classes, an…
Additive Gödel Logic
Seyed Mohammad Amin Khatami
We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.
From rational Godel logic to continuous ultrametric logic
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin R. Tavana
This paper is devoted to systematic studies of some extensions of first-order Gödel logic. The first extension is the first-order rational Gödel logic which is an extension of firs…
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Massoud Pourmahdian, Mahdi Ali-Akbari
In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are…
Effectiveness in RPL, with Applications to Continuous Logic
Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian
In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of Łukasiewicz logic) and continuous logic, and prove effective version…