Skip to main navigation Skip to search Skip to main content
Ineke Berg, van der

View Scopus Profile

Ineke van der Berg

Personal profile

Personal information

Ineke van der Berg is a Joint degree PhD candidate at Stellenbosch University (South Africa) and at the department of Ethics, Governance and Society of the Vrije Universiteit Amsterdam.

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint

Dive into the research topics where Ineke van der Berg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution
  • 1 Article

  • Labelled Calculi for Lattice-Based Modal Logics

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-47 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    74 Downloads (Pure)

  • Labelled Calculi for the Logics of Rough Concepts

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-188 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    38 Downloads (Pure)

  • Non-distributive Description Logic

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer Nature Switzerland AG, p. 49-69 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14278 LNAI)(TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods; vol. 2023).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • A DEDEKIND-STYLE AXIOMATIZATION and the CORRESPONDING UNIVERSAL PROPERTY of AN ORDINAL NUMBER SYSTEM

    Janelidze, Z. & Van Der Berg, I., 26 Dec 2022, In: Journal of Symbolic Logic. 87, 4, p. 1396-1418 23 p.

    Research output: Contribution to Journal › Article › Academic › peer-review

    Open Access