3 papers
math.LO2026
On Many-logic modal structures and information-based logics
Manuel Martins, AbÃlio Rodrigues, Marcelo Coniglio +1
This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with diffe…
math.LO2026
Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
Abilio Rodrigues, Marcelo E. Coniglio
In this paper we present the first-order logic QLETF+, a quantified version of the logic LETF+, introduced in Coniglio and Rodrigues (Studia Logica 112:561-606, 2024). QLETF+ exhib…
math.LO2024
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
Henrique Antunes, Abilio Rodrigues
The aim of this paper is to introduce the logics FFDE and FN4, which are universally free versions of Belnap-Dunn's four-valued logic, also known as the logic of first-degree entai…