Kripke-Style Models for Logics of Evidence and Truth. - Henrique Antunes; Walter Carnielli; Andreas Kapsner; Abilio Rodrigues (Axioms, 2020)

Enthymematic classical recapture 1. - Henrique Antunes (Log. J. IGPL, 2020)

Valuation Semantics for First-Order Logics of Evidence and Truth. - Henrique Antunes; Abilio Rodrigues; Walter Carnielli; Marcelo E. Coniglio (J. Philos. Log., 2022)

First-order Logics of Evidence and Truth with Constant and Variable Domains. - Abilio Rodrigues; Henrique Antunes (Logica Universalis, 2022)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4. - Henrique Antunes; Abilio Rodrigues (J. Philos. Log., 2025)

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