2 citations · 6 across the 18 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
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…