← back to paper
arxiv: 2508.02774 · 2 revisions
Intensional FOL over Belnap's Billatice for Strong-AI Robotics