4 citations · 8 across the 18 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
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…
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…