The present article aims at establishing formal connections between correspondence
phenomena, well known from the area of modal logic, and the theory of display calculi …

We extend the theory of unified correspondence to a broad class of logics with algebraic
semantics given by varieties of normal lattice expansions (LEs), also known as 'lattices with …

RS-frames were introduced by Gehrke as relational semantics for substructural logics. They
are two-sorted structures, based on RS-polarities with additional relations used to interpret …

We extend unified correspondence theory to Kripke frames with impossible worlds and their
associated regular modal logics. These are logics the modal connectives of which are not …

We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of
logics algebraically captured by varieties of normal and regular lattice expansions. This …

In recent years, unified correspondence has been developed as a generalized Sahlqvist
theory which applies uniformly to all signatures of normal and regular (distributive) lattice …

We introduce the logic LRC, designed to describe and reason about agents' abilities and
capabilities in using resources. The proposed framework bridges two—up to now—mutually …

The present paper proposes a new introductory treatment of the very well known Sahlqvist
correspondence theory for classical modal logic. The first motivation for the present …

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 by …

We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound,
complete, conservative, and enjoys cut-elimination and subformula property. Properness (ie …