43 citations · 426 across the 50 of their papers we have counts for
16 papers · 1 filter
Lattice Logic Properly Displayed
Giuseppe Greco, Alessandra Palmigiano
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…
Probabilistic Epistemic Updates on Algebras
Willem Conradie, Sabine Frittella, Alessandra Palmigiano +2
The present paper contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here we focus on Probabilistic Dynamic Epistemic…
Linear Logic Properly Displayed
Giuseppe Greco, Alessandra Palmigiano
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elim…
Multi-type Sequent Calculi
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumption…
The Logic of Resources and Capabilities
Marta Bilkova, Giuseppe Greco, Alessandra Palmigiano +2
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 i…
Algebraic modal correspondence: Sahlqvist and beyond
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
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 treat…
Structural Multi-type Sequent Calculus for Inquisitive Logic
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…
Algorithmic correspondence and canonicity for non-distributive logics
Willem Conradie, Alessandra Palmigiano
We extend the theory of unified correspondence to a very broad class of logics with algebraic semantics given by varieties of normal lattice expansions (LEs), also known as `lattic…
Categories: How I Learned to Stop Worrying and Love Two Sorts
Willem Conradie, Sabine Frittella, Michele Piazzai +3
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 inter…
An Abstract Algebraic Logic View on Judgment Aggregation
Maria Esteban, Alessandra Palmigiano, Zhiguang Zhao
In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg's alg…
Unified Correspondence as a Proof-Theoretic Tool
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano +2
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated b…
Sahlqvist theory for impossible worlds
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
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 r…
Constructive canonicity for lattice-based fixed point logics
Willem Conradie, Andrew Craig, Alessandra Palmigiano +1
We prove the algorithmic canonicity of two classes of -inequalities in a constructive meta-theory of normal lattice expansions. This result simultaneously generalizes Conradie a…
Constructive Canonicity of Inductive Inequalities
Willem Conradie, Alessandra Palmigiano
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.…
Sahlqvist via Translation
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
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…
Tool support for reasoning in display calculi
Samuel Balco, Sabine Frittella, Giuseppe Greco +2
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively…