From expressive description logics to multi-variable fragments of first-order logic: Reasoning in finite structures.

Polish National Science Centre grant (OPUS, No. 2021/41/B/ST6/00996, 2022-2025)

Principal investigator: Emanuel Kieronski

This project is a continuation of my previous project ,,A quest for new computer logics''. The goal is to investigate the decidability and the computational complexity of some expressive description logics and fragments of first-order logic mativated by computer science..