activity
20212026
most citedAnalytic proofs for logics of evidence and truth

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.LO2021

Valuation semantics for first-order logics of evidence and truth (and some related logics)

H. Antunes, A. Rodrigues, W. Carnielli +1

This paper introduces the logic , a quantified extension of the logic of evidence and truth , together with a corresponding sound and complete first-order non-de…