The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich
暂无分享,去创建一个
[1] Harry R. Lewis,et al. Unsolvable classes of quantificational formulas , 1979 .
[2] Johan van Benthem,et al. Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..
[3] Dov M. Gabbay,et al. Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.
[4] Johan van Benthem,et al. Back and Forth Between Modal Logic and Classical Logic , 1995, Log. J. IGPL.
[5] J. Cherniavsky. Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979. , 1982, SIGA.