Probability Logic: A Model Theoretic Perspective

DOI10.1093/LOGCOM/EXAA066MaRDI QIDQ6308385arXivFDO

Authors M. Pourmahdian, Reihane Zoghifard

Publication date 17 October 2018

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45)

Abstract: In this paper (propositional) probability logic ($PL$) is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for $sigma$-additive probability models, and subsequently when this class of models is considered it is shown that the compactness property holds with respect to a fragment of $PL$ called basic probability logic ($BPL$). On the other hand, when dealing with finitely-additive probability models, one may extend the compactness property for a larger fragment of probability logic, namely positive probability logic ($PPL$). We finally prove that while the L"owenheim-Skolem number of the class of $sigma$-additive probability models is uncountable, it is $alep{h}_0$ for the class of finitely additive probability models.

This page was built for publication: Probability Logic: A Model Theoretic Perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308385)