A Globally Sound Analytic Calculus for Henkin Quantifiers

Matthias Baaz, Anela Lolic. A Globally Sound Analytic Calculus for Henkin Quantifiers. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. Volume 11972 of Lecture Notes in Computer Science, pages 128-143, Springer, 2020. [doi]

Abstract

Abstract is missing.