Lin-Smolka Fixpoint Computation
One may consider basing propagation on fixpoint computation in the style of Lin and Smolka, see Kupke et al. 2022 "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics", https://arxiv.org/abs/2009.00971