Ineke van der Berg

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Inference Rules

Cut Elimination

Top Venues

Publications

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for the Logics of Rough Concepts. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for Lattice-Based Modal Logics. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Non-distributive Description Logic. TABLEAUX (2023)
Zurab Janelidze, Ineke van der Berg
A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System. J. Symb. Log. 87 (4) (2022)