Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
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…