Switch to: References

Add citations

You must login to add citations.
  1. Some Observations About Generalized Quantifiers in Logics of Imperfect Information.Fausto Barbero - 2019 - Review of Symbolic Logic 12 (3):456-486.
    We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, higher order definition of team quantifier. We show that Engström’s definitions can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engström’s quantifiers only range over the latter. We further argue that Engström’s definitions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Propositional Logics of Dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
  • Capturing K -Ary Existential Second Order Logic with K -Ary Inclusion–Exclusion Logic.Raine Rönnholm - 2018 - Annals of Pure and Applied Logic 169 (3):177-215.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Reduction of Database Independence to Dividing in Atomless Boolean Algebras.Tapani Hyttinen & Gianluca Paolini - 2016 - Archive for Mathematical Logic 55 (3-4):505-518.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Propositional Team Logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.
  • A Logic for Arguing About Probabilities in Measure Teams.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2017 - Archive for Mathematical Logic 56 (5-6):475-489.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Finite Axiomatization of G-Dependence.Gianluca Paolini - 2017 - Journal of Logic, Language and Information 26 (3):293-302.
    We show that a form of dependence known as G-dependence admits a very natural finite axiomatization, as well as Armstrong relations. We also give an explicit translation between functional dependence and G-dependence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark