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