Switch to: References

Add citations

You must login to add citations.
  1. Probabilistic Logics with Independence and Confirmation.Dragan Doder & Zoran Ognjanović - 2017 - Studia Logica 105 (5):943-969.
    The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [14] to obtain several variants of probabilistic logics by adding the operators for independence and confirmation to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discuss decidability issues.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Probabilities defined on standard and non-standard cylindric set algebras.Miklós Ferenczi - 2015 - Synthese 192 (7):2025-2033.
    Cylindric set algebras are algebraizations of certain logical semantics. The topic surveyed here, i.e. probabilities defined on cylindric set algebras, is closely related, on the one hand, to probability logic (to probabilities defined on logical formulas), on the other hand, to measure theory. The set algebras occuring here are associated, in particular, with the semantics of first order logic and with non-standard analysis. The probabilities introduced are partially continous, they are continous with respect to so-called cylindric sums.
    Download  
     
    Export citation  
     
    Bookmark   1 citation