Fixed-Point Theory in the Varieties $ mathcal{D}_{n}$. - Sabine Frittella; Luigi Santocanale (RAMiCS, 2014)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis (LORI, 2015)

Algebraic semantics of refinement modal logic. - Zeinab Bakhtiari; Hans van Ditmarsch; Sabine Frittella (Advances in Modal Logic, 2016)

Categories: How I Learned to Stop Worrying and Love Two Sorts. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (WoLLIC, 2016)

A Multi-type Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (WoLLIC, 2016)

Tool support for reasoning in display calculi. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (CoRR, 2016)

Structural Multi-type Sequent Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (CoRR, 2016)

Multi-type display calculus for propositional dynamic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (J. Log. Comput., 2016)

A proof-theoretic semantic analysis of dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

Multi-type display calculus for dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

Toward an Epistemic-Logical Theory of Categorization. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (TARK, 2017)

Dual characterizations for finite lattices via correspondence theory for monotone modal logic. - Sabine Frittella; Alessandra Palmigiano; Luigi Santocanale (J. Log. Comput., 2017)

Software Tool Support for Modular Reasoning in Modal Logics of Actions. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (ITP, 2018)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (ACM Trans. Comput. Log., 2019)

Belief Based on Inconsistent Information. - Marta Bílková; Sabine Frittella; Ondrej Majer; Sajad Nazari (DaLí, 2020)

How to reason with inconsistent probabilistic information? - Marta Bílková; Sabine Frittella; Ondrej Majer; Sajad Nazari (CoRR, 2020)

Toward a Dempster-Shafer theory of concepts. - Sabine Frittella; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2020)

Constraint Tableaux for Two-Dimensional Fuzzy Logics. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (TABLEAUX, 2021)

Rough concepts. - Willem Conradie; Sabine Frittella; Krishna Manoorkar; Sajad Nazari; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem M. Wijnberg (Inf. Sci., 2021)

Toward Updating Belief Functions over Belnap-Dunn Logic. - Sabine Frittella; Ondrej Majer; Sajad Nazari (BELIEF, 2022)

Paraconsistent Gödel Modal Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (IJCAR, 2022)

Fonctions de croyances interprétées sur la logique de Belnap-Dunn. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (JIAF, 2022)

Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. - Sabine Frittella; Ondrej Majer; Sajad Nazari (LFA, 2022)

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. - Siva Anantharaman; Sabine Frittella; Benjamin Nguyen (PSD, 2022)

Distributed Transition Systems with Tags for Privacy Analysis. - Siva Anantharaman; Sabine Frittella; Benjamin Nguyen (CoRR, 2022)

Updating belief functions over Belnap-Dunn logic. - Sabine Frittella; Ondrej Majer; Sajad Nazari (CoRR, 2022)

Demo: Data Minimization and Informed Consent in Administrative Forms. - Nicolas Anciaux; Sabine Frittella; Baptiste Joffroy; Benjamin Nguyen (CCS, 2023)

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (ISIPTA, 2023)

Non-standard Modalities in Paraconsistent Gödel Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (JELIA, 2023)

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (JIAF, 2023)

Two-Layered Logics for Paraconsistent Probabilities. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (WoLLIC, 2023)

Paraconsistent Gödel modal logic on bi-relational frames. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (CoRR, 2023)

Presumptive Reasoning in a Paraconsistent Setting. - Sabine Frittella; Daniil Kozhemiachenko; Bart Verheij (TARK, 2023)

Qualitative reasoning in a two-layered framework. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Int. J. Approx. Reason., 2023)

A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent. - Nicolas Anciaux; Sabine Frittella; Baptiste Joffroy; Benjamin Nguyen; Guillaume Scerri (EDBT, 2024)

Pivotal Rules Consequence in Action Model Logic. - Valentin Cassano; Sabine Frittella (SEFM, 2024)

Towards a Logical Framework for Reasoning with Stereotypes. - Florence Dupin de Saint-Cyr; Francis Faux; Sabine Frittella (SUM, 2024)

Reasoning with belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (Ann. Pure Appl. Log., 2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (J. Log. Comput., 2025)

Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Math. Struct. Comput. Sci., 2025)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis. - Siva Anantharaman; Sabine Frittella; Benjamin Nguyen (CoRR, 2025)

Vers une modélisation de la confiance dans le renseignement sur les menaces cyber. - Laurent Bobelin; Sabine Frittella; Mariam Wehbe (CoRR, 2025)