Skolem-Free Completeness for Dependence Logic with the Uncountability Quantifier

Adnan Asghar. Skolem-Free Completeness for Dependence Logic with the Uncountability Quantifier. Bull. Comput. Data Sci., 4(1), 2023. [doi]

Abstract

Abstract is missing.