OpenAlex
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
Work