 Another recent development (Baltag 2016) comes from a line of work that studies how to capture, in the style of epistemic logics such as those described in  section 1,  the properties and dynamics of knowledge de re (Wang and Fan 2014). Identifying this kind of knowledge with knowledge of the value of a variable, Baltag’s insight is to add, to the language of basic epistemic logic, the usual first-order resources for constructing terms and basic formulas (that is, symbols of constants, functions, relations, and variables), plus, crucially, a generalised conditional knowledge operator \(K_{a}^{t_1 ,\ldots ,t_n}\).  The extended language has now formulas \(K_{a}^{t_1 ,\ldots ,t_n} t\) and \(K_{a}^{t_1 ,\ldots ,t_n} \phi\), with the intended meaning that agent \(a\) knows the value of term \(t\) (or knows that \(\phi\), for the second formula), provided it knows the values of terms \(t_1 ,\ldots ,t_n\). To be able to capture this idea on the semantic side, Kripke models are enriched so that, in addition to the usual set of information states, interpretations for propositional letters, and agents relations, we will also have a domain of objects over which terms and basic relational formulas are locally interpreted at each state (that is, the interpretations can vary from state to state, but the underlying domain is the same across states). A sound and complete axiomatisation exists, and the resulting logical system is a sort of a general, yet decidable, dependence logic where information about correlations can be captured via the conditional knowledge operators. Dynamic versions are also obtained where, in addition to the public announcement operator \([\phi]\), one has value announcement operators \([t_1,\ldots ,t_n]\), with formula \([t_1,\ldots ,t_n] \phi\) being read as “after the simultaneous announcement of the values of terms \(t_1,\ldots ,t_n\), it is the case that \(\phi\)”. 