Probability Logic: A Model Theoretic Perspective

DOI10.1093/LOGCOM/EXAA066arXiv1810.07413MaRDI QIDQ6308385FDOQ6308385

M. Pourmahdian, Reihane Zoghifard

Publication date: 17 October 2018

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.

Mathematics Subject Classification ID

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

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)