3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Paraclassical Logics with Two Negations
Pawel Pawlowski, Pietro Vigiani
We study three paraclassical propositional logics with two negations, CLoaN, CLouN, and CLauN, obtained by pairwise combining the one-negation systems CLuN, CLaN, and CLoN. CLuN's…
cs.LO2026
Modal Extensions of Generalised Nelson Logics
Igor Sedlár, Pietro Vigiani
Motivated by relevant epistemic logic, we extend Dunn's simple Kripke-style binary relational semantics for the semi-relevant logic RM to fit a modal extension of RM. It is shown t…
cs.LO2022★ 3 cited
Relevant Reasoners in a Classical World
Igor Sedlár, Pietro Vigiani
We develop a framework for epistemic logic that combines relevant modal logic with classical propositional logic. In our framework the agent is modeled as reasoning in accordance w…