Erich Grädel (graedel)

Contributi a Philosophie.ch

Bibliography

Börger, Egon, Grädel, Erich and Gurevich, Yuri. 1997. The Classical Decision Problem. Berlin: Springer.
Dawar, Anuj, Grädel, Erich and Kreutzer, Stephen. n.d. “Inflationary Fixed Points in Modal Logic.” Unpublished manuscript.
Gottlob, Georg, Grädel, Erich and Veith, Helmut. 2000. “Linear Time Datalog and Branching Time Logic.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 443–467. Dordrecht: Kluwer Academic Publishers.
Grädel, Erich. 1997. “On the Decision Problem for Two-Variable First-Order Logic.” The Bulletin of Symbolic Logic 3(1): 53–69.
Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde and Weinstein, Scott. 2007. Finite Model Theory and Its Applications. Cham: Springer.
Zaid, Faried Abu, Grädel, Erich and Jaax, Stephan. 2014. “Bisimulation Safe Fixed Point Logic.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 1–15. London: King’s College Publications.