Abilio Rodrigues

According to our database, Abilio Rodrigues authored at least 7 papers between 2019 and 2022.

Collaborative distances:

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

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

2021

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic.

Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli

Synth., 2021

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.

Walter Carnielli, Abilio Rodrigues

Log. J. IGPL, 2021

2020

Recovery operators, paraconsistency and duality.

Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues

Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.

Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues

Axioms, 2020

2019

An epistemic approach to paraconsistency: a logic of evidence and truth.

Walter Carnielli, Abilio Rodrigues

Synth., 2019