@MISC{MODAL_1.MIZ,
  AUTHOR = {de~la~Cruz, Alicia},
  TITLE = {Introduction to Modal Propositional Logic},
  DAY = {30},
  MONTH = {September},
  YEAR = {1991},
  ADDRESS1 = {Universidad Politecnica de Madrid}}

