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

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic
semantics is based on special Heyting algebras, which we call inquisitive algebras, with …

This article provides an algebraic study of the propositional system of inquisitive logic. We
also investigate the wider class of-logics, which are negative variants of intermediate logics …

This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class
of DNA-logics. DNA-logics were previously known in literature as negative variants of …

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

We study semantic equivalence of multivariate graph polynomials via their distinctive power
introduced in (Makowsky, Ravve, Blanchard 2014) under the name of dp-equivalence …

In the present paper we develop algebraic semantics of refinement modal logic using duality
theory. Refinement modal logic has been introduced by Bozzelli et al.[7]. A Refinement is …

Kleene algebras are the mathematical structures modelling the behaviour of so called
regular expressions in automata theory, introduced by SC Kleene [16] with the same …

Modular proof theory for axiomatic extension and expansions of lattice logic Page 1 Modular
proof theory for axiomatic extension and expansions of lattice logic Giuseppe Greco (joint work …