NeFut
中
Admin Login
Search
Articles tagged with:
#Higher-Order Logic
(1 found)
Clear Filters ✖
2026-07-15 22:00
[CS.AI] First-Order Modal Logic Embeddings in HOL with Automated Faithfulness
#Logic
#Higher-Order Logic
#Modal Logic
