2 papers
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…
math.LO2026
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}…