@Book{Arec:logi,
  title =        "Logics",
  author =       "C. Areces and P. Blackburn",
  note =         "In preparation",
}