TY  - RPRT
TI  - The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
AU  - Diego Castaño
AU  - Valeria Castaño
AU  - José Patricio Díaz Varela
AU  - Marcela Muñoz Santis
PY  - 2024
UR  - https://arxiv.org/abs/2411.11097
ID  - 2411.11097
ER  -