@InCollection{Areces2003d,
  author =       "C. Areces and G. Infante L{\'o}pez and M. de Rijke",
  booktitle =    "Advances in Modal Logic",
  title =        "Controlled model exploration",
  year =         "2003",
  editor =       "Ph. Balbiani and N. Suzuki and F. Wolter and M.
                 Zakharyaschev",
  note =         "Extended version of ``Decomposing Modal Logic''
                 (Areces, Infante-Lopez and de Rijke)",
  pages =        "1--16",
  abstract =     "We provide a detailed analysis of very weak fragments
                 of modal logic. Our fragments lack connectives that
                 introduce non- determinism and they feature
                 restrictions on the modal operators, which may lead to
                 substantial reductions in complexity. Our main result
                 is a general game-based characterization of the
                 expressive power of our fragments over the class of
                 finite structures.",
  publisher =    "World Scientific Publishing Co. Pte. Ltd.",
  volume =       "4",
  ISBN =         "0-9543006-2-9",
}