36 citations · 57 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 14 cited
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh +1
We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given…
cs.LO2014★ 7 cited
Generalized Vietoris Bisimulations
Sebastian Enqvist, Sumit Sourabh
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bis…