Henrique Antunes

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Empirical Evidence

Classical First Order Logic

Top Venues

Logica Universalis

J. Philos. Log.

Publications

Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio
Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. 51 (5) (2022)
Abilio Rodrigues, Henrique Antunes
First-order Logics of Evidence and Truth with Constant and Variable Domains. Logica Universalis 16 (3) (2022)
Henrique Antunes
Enthymematic classical recapture 1. Log. J. IGPL 28 (5) (2020)
Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues
Kripke-Style Models for Logics of Evidence and Truth. Axioms 9 (3) (2020)