On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic Natasha Alechina OriginalPaper Pages: 177 - 189
Decidable and undecidable logics with a binary modality ágnes KuruczIstván NémetiAndrás Simon OriginalPaper Pages: 191 - 206