Binding in classical and dynamic predicate logic
Crossref DOI link: https://doi.org/10.1007/s10849-026-09472-0
Published Online: 2026-06-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wehmeier, Kai F. https://orcid.org/0000-0002-6468-497X
Text and Data Mining valid from 2026-06-10
Version of Record valid from 2026-06-10
Article History
Received: 20 January 2025
Accepted: 20 April 2026
First Online: 10 June 2026