Gilles Dowek, Murdoch James Gabbay. Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 104-118, CEUR-WS.org, 2012. [doi]
Abstract is missing.