I picked up Dependence Logic: A New Approach to Independence Friendly Logic by Jouko Väänänen. I figure I’ll write up a review when I am finished with the book, but there is one chief difference between Dependence Logic and Independence Friendly Logic that needs to be mentioned. On pages 44-47 when describing the difference between Dependence Logic and Independence Friendly Logic Väänänen says, The backslashed quantifier, ∃xn{xi0,…,xim-1}φ, introduced in ref. [20], with the intuitive meaning: […]