4 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…
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…
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…