4 citations · 8 across the 18 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
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…
cs.LO2024
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…
math.LO2024
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…