4 papers
A Set-Theoretic Translation of Modal Logic via Forcing
Somayeh Chopoghloo, Mohammad Golshani
We develop a set-theoretic translation of a normal modal extension of a recursively axiomatizable first-order theory . We first pass to the Henkin expansion of the underly…
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…
Completeness and Incompleteness for Expanding Gödel-Löb Logics
Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten +1
Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and…
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…