Switch to: References

Add citations

You must login to add citations.
  1. On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
  • 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  
  • Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.