Pratt-Hartmann, Ian On the computational complexity of the numerically definite syllogistic and related logics. (English) Zbl 1166.03011 Bull. Symb. Log. 14, No. 1, 1-28 (2008). Reviewer: Marie Duží (Ostrava) MSC: 03B65 03D15 68Q17 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, Bull. Symb. Log. 14, No. 1, 1--28 (2008; Zbl 1166.03011) Full Text: DOI
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. On the decision problem for two-variable first-order logic. (English) Zbl 0873.03009 Bull. Symb. Log. 3, No. 1, 53-69 (1997). MSC: 03B25 03D15 03C13 03B20 PDFBibTeX XMLCite \textit{E. Grädel} et al., Bull. Symb. Log. 3, No. 1, 53--69 (1997; Zbl 0873.03009) Full Text: DOI Link Link