deletions | additions       diff --git a/section_Fixpoint_Logics_for_Boolean__.tex b/section_Fixpoint_Logics_for_Boolean__.tex  index d85a939..1ef3283 100644  --- a/section_Fixpoint_Logics_for_Boolean__.tex  +++ b/section_Fixpoint_Logics_for_Boolean__.tex 
...
\subsection{Influence graphs as Kripke models}  We treat influence graphs as Kripke (multi-relational) models \cite{Seligmanetal:synthese,ZoePhD}.%Christoff_2013,Christoff_2015, \cite{Seligmanetal:synthese,Christoff_2015}.%Christoff_2013,Christoff_2015,ZoePhD  \begin{definition}  We call an {\em influence model} a tuple $\Model = \tuple{\N, \G, \O}$ where $\G=(G_{p_1},\dots,G_{p_m})$ is an influence profile, and $\O: \Atoms \longrightarrow 2^\N$ is an opinion profile over $\Atoms$, that is, a valuation function.