1 citations · 2 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Modal reduction principles across relational semantics
Willem Conradie, Andrea De Domenico, Krishna Manoorkar +4
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which incl…
cs.LO2021
Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae
Domenico Cantone, Andrea De Domenico, Pietro Maugeri +1
As a contribution to quantitative set-theoretic inferencing, a translation is proposed of conjunctions of literals of the forms , , and $z =\{x…