Stephen Kreutzer (kreutzer)

Contributions à Philosophie.ch

Bibliography

Dawar, Anuj, Grädel, Erich and Kreutzer, Stephen. n.d. “Inflationary Fixed Points in Modal Logic.” Unpublished manuscript.
Kreutzer, Stephen. 2010. “Review of Grädel et al. (2007).” The Bulletin of Symbolic Logic 16(3): 406–407.

Further References

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.