deletions | additions       diff --git a/section_BDPs_on_logically_interdependent__.tex b/section_BDPs_on_logically_interdependent__.tex  index c188a09..e55527b 100644  --- a/section_BDPs_on_logically_interdependent__.tex  +++ b/section_BDPs_on_logically_interdependent__.tex 
...
\subsection{DeGroot processes in binary aggregation with constraints}  BDPs on aggregation structures with constraints may lead individuals to update with logically inconsistent opinions.  The following processes are simple adaptations of BDPs where agents update their opinions only if the opinions of their gurus, on the respective issues, are consistent.  \begin{definition}  Now fix Fix  an opinion profile $\O$ and an influence profile $\G$. Consider the stream $\O^0, \O^1, \ldots, \O^n, \ldots$ of opinion profiles recursively defined as follows: \begin{itemize}[noitemsep] \begin{itemize}%[noitemsep]  \item Base: $\O_0 := \O$  \item Step: for all $i \in \N$, $p\in \Atoms$, $\O_i^{n+1} $\O_i^{n+1}(p)  := \left\{  \begin{array}{ll}  \tuple{\O^{n}_{R_p(i)}(p)}_{p \in \Atoms} \O^{n}_{R_p(i)}(p)  & \mbox{if} \bigwedge{p \bigwedge_{p  \in \Atoms} \O_i^{n+1}(p) \O^{n}_{R_p(i)}(p)  \mbox{is consistent} \\ \O_i^{n} \O_i^{n}(p)  & \mbox{otherwise} \end{array}  \right.  $.  \end{itemize}  We call processes defined by the above dynamics \emph{Boolean DeGroot processes} (BDPs). \emph{resistant} BDPs.  \end{definition}