A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System. - Zurab Janelidze; Ineke van der Berg (J. Symb. Log., 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)