deletions | additions       diff --git a/section_Fixpoint_Logics_for_Boolean__.tex b/section_Fixpoint_Logics_for_Boolean__.tex  index 2f316d4..c7823e8 100644  --- a/section_Fixpoint_Logics_for_Boolean__.tex  +++ b/section_Fixpoint_Logics_for_Boolean__.tex 
...
%%%%%%%%%%%%%%%%%%%%  \section{Fixpoint Logics for Boolean DeGroot Dynamics} \label{sec:logic}  We are interested in a logic capturing the properties of BDPs, and in particular their convergence. A natural candidate for this is the modal $\mu$-calculus. In recent work, an extension of the $\mu$-calculus with an oscillation operator has been introduced in \cite{JvBoscillations} to capture a more general classes of dynamics.   \subsection{Influence graphs as Kripke models}