Binding in classical and dynamic predicate logic

DOI10.1007/S10849-026-09472-0MaRDI QIDQ7396491zbMATH OpenFDO

Authors Kai Frederick Wehmeier

Publication date 2026

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-026-09472-0

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Dynamic predicate logic
• Formulaire de Mathématiques. III.
• scientific article; zbMATH DE number 3711903 (Why is no real title available?)
• On quantification and extensionality
• Principia Mathematica. Vol. I.

This page was built for publication: Binding in classical and dynamic predicate logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7396491)