3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…