Wim Blok
Willem Johannes "Wim" Blok (1947–2003) was a Dutch logician who made major contributions to algebraic logic, universal algebra, and modal logic. His important achievements over the course of his career include "a brilliant demonstration of the fact that various techniques and results that originated in universal algebra can be used to prove significant and deep theorems in modal logic."[1]
Blok began his career in 1973 as an algebraist investigating the varieties of interior algebras at the University of Illinois at Chicago. Following the 1976 completion of his Ph.D. on that topic, he continued on to study more general varieties of modal algebras. As an algebraist, Blok "was recognised by the modal logic community as one of the most influential modal logicians" by the end of the 1970s.[2] He published many papers in the Reports on Mathematical Logic, served as a member on their editorial board, and was one of their guest editors.[1] Along with Don Pigozzi, Wim Blok co-authored the monograph Algebraizable Logics which began the field now known as abstract algebraic logic.[3]
He died in a car accident on November 30, 2003.[1]
References
- ^ a b c Font, Josep Maria (May 2006). "In Memory of Wim Blok". Reports on Mathematical Logic (Special Issue). CiteSeerX 10.1.1.103.2741.
- ^ Rautenberg, W.; Wolter, F.; Zakharyaschev, M. (June 2006). "Willem Blok and Modal Logic". Studia Logica. 83 (1–3): 15–30. doi:10.1007/s11225-006-8296-2. Retrieved June 24, 2016 – via ResearchGate.
- ^ Raftery, James G. (March 2004). "Willem Blok's Work in Algebraic Logic". Studia Logica: An International Journal for Symbolic Logic. 76 (2): 155–160. JSTOR 20016583.