Henrique Antunes

According to our database¹, Henrique Antunes authored at least 4 papers between 2020 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

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

[BibT_eX]

[DOI]

Logica Universalis, 2022

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

[BibT_eX]

[DOI]

J. Philos. Log., 2022

2020

Enthymematic classical recapture 1.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.

[BibT_eX]

[DOI]

Axioms, 2020