An algebraic study of S5-modal Gödel logic (Q2062210)

In their previous paper [Fuzzy Sets Syst. 407, 161--174 (2021; Zbl 1464.03024)], the authors began a study of the variety $\mathbb{MG}$ of monadic Gödel algebras, which served there as an equivalent algebraic semantics for the S5-modal expansion of Gödel logic (an important extension of Hájek's basic logic). So it is a subvariety of that of the authors' monadic BL-algebras [\textit{D. Castaño} et al., Fuzzy Sets Syst. 320, 40--59 (2017; Zbl 1387.03074)]. From the authors' abstract: ``We show three families of locally finite subvarieties of $\mathbb{MG}$ and give their equational bases. We also introduce a topological duality for monadic Gödel algebras and, as an application of this representation theorem, we characterize congruences and give characterizations of the locally finite subvarieties mentioned above by means of their dual spaces. Finally, we study some further properties of the subvariety generated by monadic Gödel chains: we present a characteristic chain for this variety, we prove that a Glivenko type theorem holds for these algebras and we characterize free algebras over \(n\) generators.''