43 citations · 211 across the 9 of their papers we have counts for
11 papers
Toward a Dempster-Shafer theory of concepts
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano +2
In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts. Results include the representation of conceptual belief fun…
Rough concepts
Willem Conradie, Sabine Frittella, Krishna Manoorkar +4
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 modal…
Multi-type Display Calculus for Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display-approach is suitable to modularly c…
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of…
Multi-type display calculus for Propositional Dynamic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +1
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula prope…
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…
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a…