Henrique Antunes

According to our database, Henrique Antunes authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Variable Domain First-Order First-Degree Entailment and Some of Its Children.

Henrique Antunes, Abilio Rodrigues

Stud Logica, April, 2025

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., February, 2025

2022

First-order Logics of Evidence and Truth with Constant and Variable Domains.

Abilio Rodrigues, Henrique Antunes

Logica Universalis, 2022

Valuation Semantics for First-Order Logics of Evidence and Truth.

Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio

J. Philos. Log., 2022

2020

Enthymematic classical recapture 1.

Henrique Antunes

Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.

Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues

Axioms, 2020