4 citations · 7 across the 2 of their papers we have counts for
5 papers · 1 filter
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
Marcelo E. Coniglio, Martin Figallo, Rafael R. Testa
We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (LFIs) specifically designed to support the developm…
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…
Swap Kripke models for deontic LFIs
Mahan Vaz, Marcelo E. Coniglio
We present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the…
Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio, PaweÅ PawÅowski, Daniel Skurt
In this short paper we will discuss the similarities and differences between two semantic approaches to modal logics - non-deterministic semantics and restricted non-deterministic…
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
Marcelo E. Coniglio
The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4, a 4-valued expansion of Belnap-Dunn…