The Lattice of Modal Logics: An Algebraic Investigation. - Willem J. Blok (J. Symb. Log., 1980)

Algebraic Semantics for Quasi-Classical Modal Logics. - Willem J. Blok; P. Kohler (J. Symb. Log., 1983)

On the lattice of quasivarieties of Sugihara algebras. - Willem J. Blok; Wieslaw Dziobiak (Stud Logica, 1986)

Protoalgebraic logics. - Willem J. Blok; Don Pigozzi (Stud Logica, 1986)

Positive Boolean Dependencies. - Joel Berman; Willem J. Blok (Inf. Process. Lett., 1988)

Alfred Tarski's Work on General Metamathematics. - Willem J. Blok; Don Pigozzi (J. Symb. Log., 1988)

Introduction. - Willem J. Blok; Don Pigozzi (Stud Logica, 1991)

Equational Dependencies. - Joel Berman; Willem J. Blok (J. Inf. Process. Cybern., 1992)

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. - Willem J. Blok; Clint J. van Alten (Reports Math. Log., 2000)

Komori Identities in Algebraic Logic. - Willem J. Blok; Silvia B. la Falce (Reports Math. Log., 2000)

Algebraic Semantics for Deductive Systems. - Willem J. Blok; Jordi Rebagliato (Stud Logica, 2003)

Free Lukasiewicz and Hoop Residuation Algebras. - Joel Berman; Willem J. Blok (Stud Logica, 2004)

Fragments of R-Mingle. - Willem J. Blok; James G. Raftery 001 (Stud Logica, 2004)

Algebras Defined from Ordered Sets and the Varieties they Generate. - Joel Berman; Willem J. Blok (Order, 2006)

The Beth Property in Algebraic Logic. - Willem J. Blok; Eva Hoogland (Stud Logica, 2006)

Equivalence of Consequence Operations. - Willem J. Blok; Bjarni Jónsson (Stud Logica, 2006)

Assertionally Equivalent quasivarieties. - Willem J. Blok; James G. Raftery 001 (Int. J. Algebra Comput., 2008)