Fer-Jan de Vries (devries-fj)

Contributions to Philosophie.ch

Bibliography

van Eijck, Jan and de Vries, Fer-Jan. 1991. “Dynamic Interpretation and Hoare Deduction; Extended Abstract.” in Proceedings from Semantics and Linguistic Theory, volume 1, edited by Steven Moore and Adam Zachary Wyner, pp. 65–84. Ithaca, New York: Cornell University Press. Available from CLC Publications, Department of Linguistics, Morrill Hall, Cornell University, Ithaca, NY 14853-4701.
van Eijck, Jan and de Vries, Fer-Jan. 1992. “Dynamic Interpretation and Hoare Deduction.” Journal of Logic, Language, and Information 1(1): 1–44.
van Eijck, Jan and de Vries, Fer-Jan. 1995. “Reasoning about Update Logic.” The Journal of Philosophical Logic 24(1): 19–45.