Canonical Calculi with (n, k)-ary Quantifiers

Arnon Avron, Anna Zamansky. Canonical Calculi with (n, k)-ary Quantifiers. Logical Methods in Computer Science, 4(3), 2008. [doi]

Abstract

Abstract is missing.