Variable Domain First-Order First-Degree Entailment and Some of Its Children. - Antunes, Henrique; Rodrigues, Abilio (Studia Logica, 2025)