Sabine Frittella

Identifiers

• name variant Sabine Frittella 0.60 · backfill

Papers (10)

1. Multi-type Display Calculus for Dynamic Epistemic Logic math.LO · 2018 · author #1
2. A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic math.LO · 2018 · author #1
3. Multi-type display calculus for Propositional Dynamic Logic math.LO · 2018 · author #1
4. Toward an Epistemic-Logical Theory of Categorization cs.LO · 2017 · author #2
5. Probabilistic Epistemic Updates on Algebras math.LO · 2016 · author #2
6. Multi-type Sequent Calculi math.LO · 2016 · author #1
7. Structural Multi-type Sequent Calculus for Inquisitive Logic cs.LO · 2016 · author #1
8. Categories: How I Learned to Stop Worrying and Love Two Sorts math.LO · 2016 · author #2
9. Tool support for reasoning in display calculi cs.LO · 2016 · author #2
10. Dual characterizations for finite lattices via correspondence theory for monotone modal logic math.LO · 2014 · author #1

Mentions

• 1408.1843 #1 · backfill · confidence 0.70 Sabine Frittella

Frequent Coauthors

• Alessandra Palmigiano 10 shared papers
• Giuseppe Greco 6 shared papers
• Alexander Kurz 5 shared papers
• Apostolos Tzimoulis 3 shared papers
• Willem Conradie 3 shared papers
• Michele Piazzai 2 shared papers
• Nachoem M. Wijnberg 2 shared papers
• Vlasta Sikimi\'c 2 shared papers
• Fan Yang 1 shared papers
• Luigi Santocanale 1 shared papers
• Nachoem Wijnberg 1 shared papers
• Samuel Balco 1 shared papers
• Vlasta Sikimic 1 shared papers