TY - JOUR AU - Lucas, Billy Joe IS - 2 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1995 TI - Review: Grigori Mints, A Short Introduction to Modal Logic VL - 60 ER -