TY - RPRT TI - Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL AU - Zoran Majkic PY - 2026 UR - https://arxiv.org/abs/2607.13073 ID - 2607.13073 ER -