On the expressivity of feature logics with negation, functional uncertainty, and sort equations Franz BaaderHans-Jürgen BürckertGert Smolka OriginalPaper Pages: 1 - 18
Generalized quantifiers and modal logic Wiebe Van Der HoekMaarten De Rijke OriginalPaper Pages: 19 - 58