References
Andréka, H., van Benthem, J., and Németi, I., 1995, “Back and forth between modal logic and classical logic,” Bulletin of the Interest Group in Pure and Applied Logics 3(3), 685–720.
Andréka, H., van Benthem, J., and Németi, I., 1998, “Modal languages and bounded fragments of predicate logic,” Journal of Philosophical Logic 27(3), 217–274.
Dreben, B. and Goldfarb, W., 1979, The Decision Problem: Solvable Cases of Quantificational Formulas, Reading, MA: Addison-Wesley.
Gabbay, D. and Shehtman, V., 1998, “Products of modal logics, Part 1,” Logic Journal of the IGPL 6(1), 73–146.
Lewis, H., 1979, Unsolvable Classes of Quantificational Formulas, Reading, MA: Addison-Wesley.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marx, M. The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Journal of Logic, Language and Information 8, 478–481 (1999). https://doi.org/10.1023/A:1008334715902
Issue Date:
DOI: https://doi.org/10.1023/A:1008334715902