TY  - RPRT
TI  - Doctrinal Semantics of Directed First-Order Logic
AU  - Andrea Laretto
AU  - Fosco Loregian
AU  - Niccolò Veltri
PY  - 2026
UR  - https://arxiv.org/abs/2504.11225
ID  - 2504.11225
ER  -