TY  - RPRT
TI  - Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
AU  - Gilles Dowek
AU  - Murdoch J. Gabbay
PY  - 2023
UR  - https://arxiv.org/abs/2312.16487
ID  - 2312.16487
ER  -