TY - RPRT TI - Monadic distributive lattices and monadic augmented Kripke frames AU - A. V. Figallo AU - I. Pascual AU - A. Ziliani PY - 2012 UR - https://arxiv.org/abs/1203.6059 ID - 1203.6059 ER -