Showing math.LOShow all
2 papers · 1 filter
math.LO2019
The logic of vague categories
Willem Conradie, Alessandra Palmigiano, Claudette Robinson +2
We introduce a complete many-valued semantics for basic normal lattice-based modal logic. This relational semantics is grounded on many-valued formal contexts from Formal Concept A…
math.LO2016
Algebraic semantics for hybrid logics
Willem Conradie, Claudette Robinson
We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and…