4 papers
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…
Strong Completeness of Provability Logic for Uncountable Languages
Mohammad Golshani, Grigorii Stepanov, Reihane Zoghifard
For an ordinal , we use the Erdős--Rado partition theorem to prove the failure of strong completeness of for modal languages of cardinality $(2^{|λ|+\aleph_0})^{…
A Lindström theorem for intuitionistic first-order logic
Grigory Olkhovikov, Guillermo Badia, Reihane Zoghifard
We extend the main result of (G. Badia and G. Olkhovikov. A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to…
Probability Logic: A Model Theoretic Perspective
Massoud Pourmahdian, Reihane Zoghifard
In this paper (propositional) probability logic () is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for -additive p…