TY - RPRT TI - Models for the common knowledge logic AU - Yoshihito Tanaka PY - 2025 UR - https://arxiv.org/abs/2412.13537 ID - 2412.13537 ER -