From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. - Domenico Cantone; Eugenio G. Omodeo; Mattia Panettiere (ICTCS, 2020)

Very Weak, Essentially Undecidabile Set Theories. - Domenico Cantone; Eugenio G. Omodeo; Mattia Panettiere (CILC, 2021)

Modal inverse correspondence via ALBA. - Willem Conradie; Mattia Panettiere (AiML, 2022)

Graded modal logic with a single modality. - Mattia Panettiere; Apostolos Tzimoulis (AiML, 2022)

Subordination Algebras as Semantic Environment of Input/Output Logic. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (WoLLIC, 2022)

Unified inverse correspondence for DLE-Logics. - Willem Conradie; Andrea De Domenico; Giuseppe Greco 001; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis (CoRR, 2022)

Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2022)

Labelled Calculi for Lattice-Based Modal Logics. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Labelled Calculi for the Logics of Rough Concepts. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Non-distributive Description Logic. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (TABLEAUX, 2023)

A Meta-Learning Algorithm for Interrogative Agendas. - Erman Acar; Andrea De Domenico; Krishna Manoorkar; Mattia Panettiere (CoRR, 2023)

Outlier detection using flexible categorisation and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2023)

Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs. - Domenico Cantone; Eugenio G. Omodeo; Mattia Panettiere (J. Log. Comput., 2023)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. - Yifeng Ding; Krishna Manoorkar; Mattia Panettiere; Ruoding Wang (AiML, 2024)

Correspondence Theory on Vector Spaces. - Alessandra Palmigiano; Mattia Panettiere; Ni Wayan Switrayni (WoLLIC, 2024)

Obligations and permissions on selfextensional logics. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Outlier detection using flexible categorization and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Decis. Support Syst., 2024)

Modal reduction principles across relational semantics. - Willem Conradie; Andrea De Domenico; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Daira Pinto Prieto; Apostolos Tzimoulis (Fuzzy Sets Syst., 2024)

Polynomial-time checking of generalized Sahlqvist syntactic shape. - Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (Theor. Comput. Sci., 2024)

Modal reduction principles: a parametric shift to graphs. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (J. Appl. Non Class. Logics, 2024)

Flexible categorization using formal concept analysis and Dempster-Shafer theory. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2025)

Unified inverse correspondence for LE-logics. - Alessandra Palmigiano; Mattia Panettiere (Ann. Pure Appl. Log., 2026)