Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sabine Frittella
Map detail
Sabine Frittella9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSabine FrittellaASabine FrittellaResearcherUpdating belief functions over Belnap--Dunn logicWUpdating belief functio...preprint / 2022Dual characterizations for finite lattices via correspondence theory for monotone modal logicWDual characterizations ...preprint / 2014Structural Multi-type Sequent Calculus for Inquisitive LogicWStructural Multi-type S...preprint / 2016Multi-type Sequent CalculiWMulti-type Sequent Calculipreprint / 2016Constraint tableaux for two-dimensional fuzzy logicsWConstraint tableaux for...preprint / 2021Distributed Transition Systems with Tags for Privacy AnalysisWDistributed Transition ...preprint / 2022Paraconsistent Gödel modal logicWParaconsistent Gödel mo...preprint / 2022Tool support for reasoning in display calculiWTool support for reason...preprint / 2016
Person8 links

Sabine Frittella

Researcher