@Book{Gir00,
    Author       = "Girle, R.A.",
    Year         = "2000",
    Title        = "{Modal Logics and Philosophy}",
    Publisher    = "Acumen Publishers",
    Comment      = "TPTPRef"
}