19 citations · 27 across the 24 of their papers we have counts for
3 papers · 2 filters
Non-normal logics: semantic analysis and proof theory (extended version)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserv…
Slanted canonicity of analytic inductive inequalities
Laurent De Rudder, Alessandra Palmigiano
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations ma…
Non-distributive logics: from semantics to meaning
Willem Conradie, Alessandra Palmigiano, Claudette Robinson +1
We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual charact…