An infinitary propositional probability logic

HIGHLIGHTS

• who: Stefano Baratella from the (UNIVERSITY) have published the research: An infinitary propositional probability logic, in the Journal: (JOURNAL)
• what: In the first part of this work the authors provide a different and, in the opinion , simpler proof of a completeness result originally proved. The authors investigate model-theoretic properties of the proposed logic. The authors focus almost exclusively on the algebraic/probabilistic content of type structures. Rather, the authors aim at an intuitive set of axioms.
• how: The authors begin the second part of this work with some comments on the above . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.