Switch to: References

Add citations

You must login to add citations.
  1. Complete Logics for Elementary Team Properties.Juha Kontinen & Fan Yang - forthcoming - Journal of Symbolic Logic:1-41.
    In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of dependence logic to dependence logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On elementary logics for quantitative dependencies.Miika Hannula, Minna Hirvonen & Juha Kontinen - 2022 - Annals of Pure and Applied Logic 173 (10):103104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark