Ineke van der Berg

According to our database, Ineke van der Berg authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Non-distributive Description Logic.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Labelled Calculi for the Logics of Rough Concepts.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Labelled Calculi for Lattice-Based Modal Logics.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System.

Zurab Janelidze, Ineke van der Berg

J. Symb. Log., December, 2022