TY - RPRT TI - Finitely accessible arboreal adjunctions and Hintikka formulae AU - Luca Reggio AU - Colin Riba PY - 2025 UR - https://arxiv.org/abs/2304.12709 ID - 2304.12709 ER -