43 citations · 211 across the 9 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
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…