  In this paper, and inspired by the recent discrete-time model in [1,2], we
study two continuous-time opinion dynamics models (Model 1 and Model 2) where
the individuals discuss opinions on multiple logically interdependent topics.
The logical interdependence between the different topics is captured by a
`logic' matrix, which is distinct from the Laplacian matrix capturing
interactions between individuals. For each of Model 1 and Model 2, we obtain a
necessary and sufficient condition for the network to reach to a consensus on
each separate topic. The condition on Model 1 involves a combination of the
eigenvalues of the logic matrix and Laplacian matrix, whereas the condition on
Model 2 requires only separate conditions on the logic matrix and Laplacian
matrix. Further investigations of Model 1 yields two sufficient conditions for
consensus, and allow us to conclude that one way to guarantee a consensus is to
reduce the rate of interaction between individuals exchanging opinions. By
placing further restrictions on the logic matrix, we also establish a set of
Laplacian matrices which guarantee consensus for Model 1. The two models are
also expanded to include stubborn individuals, who remain attached to their
initial opinions. Sufficient conditions are obtained for guaranteeing
convergence of the opinion dynamics system, with the final opinions generally
being at a persistent disagreement. Simulations are provided to illustrate the
results.
