5 papers
Hyper Swap Structures: The Case Study of LFIs and Hyper Boolean Algebras
Marcelo E. Coniglio, Kaique M. A. Roberto, Ana C. Golzio
In a previous paper, we introduced the notion of hyper swap structures, a novel class of hyperalgebras that naturally generalizes swap structures semantics. In this paper we introd…
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…
A taxonomy for controlling (in)consistency
Marcelo E. Coniglio, Rafael Ongaratto
In this article, the hierarchy of LFIs L, Logics of Controlled Consistency (LCC), is introduced. Inspired by da Costa's original C systems, this hierarchy can represent d…
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…
The Modal Cube Revisited: Semantics without Worlds (Technical Report)
Renato Leme, Carlos Olarte, Elaine Pimentel +1
We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform mu…