On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic (1995)
By: N. Alechina
Download Information
N. Alechina (1995). "On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic." Journal of Logic, Language and Information, 4, 177 - 189.
Bibtex citation
@article{Alechina:95b,
author = "N. Alechina",
title = "{On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic}",
journal = "Journal of Logic, Language and Information",
year = "1995",
volume = "4",
pages = "177 -- 189",
} full list