@Book{Che80,
    Author       = "Chellas, B.F.",
    Year         = "1980",
    Title        = "{Modal Logic}",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}