Switch to: References

Add citations

You must login to add citations.
  1. From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
    We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • (3 other versions)2004 spring meeting of the association for symbolic logic, Palmer house Hilton Hotel, chicago, illinois April 23-24, 2004. [REVIEW]Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438-446.
    Download  
     
    Export citation  
     
    Bookmark  
  • Dependence of variables construed as an atomic formula.Jouko Väänänen & Wilfrid Hodges - 2010 - Annals of Pure and Applied Logic 161 (6):817-828.
    We define a logic capable of expressing dependence of a variable on designated variables only. Thus has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence relations between variables leads to existential second order expressive power. Our avoids some difficulties arising in the original (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations