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

The present paper proposes a novel way to unify Rough Set Theory and Formal Concept
Analysis. Our method stems from results and insights developed in the algebraic theory of …

This paper develops the model theory of normal modal logics based on partial “possibilities”
instead of total “worlds,” following Humberstone [1981] instead of Kripke [1963]. Possibility …

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 establishes systematic connections among the first-order correspondents
of Sahlqvist modal reduction principles in various relational semantic settings, including …

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 …