@misc{indiciae4a64857d185e, title = {The algebraic semantics for the one-variable monadic fragment of the predicate logic \$\textbackslash{}mathcal\{G\}\textbackslash{}forall\_\{\textbackslash{}sim\}\$}, author = {Diego Castaño and Valeria Castaño and José Patricio Díaz Varela and Marcela Muñoz Santis}, year = {2024}, url = {https://arxiv.org/abs/2411.11097}, note = {Source identifier: 2411.11097} }