@PhdThesis{       Simpson,
  Author        = "Simpson, Alex",
  date-added    = "2015-10-19 18:26:49 +0000",
  date-modified = "2015-10-19 18:27:29 +0000",
  Keywords      = "intuitionistic logic and modal logic",
  School        = "University of Edinburgh",
  Title         = "The Proof Theory and Semantics of Intuitionistic Modal Logic",
  Year          = "1994",
  File          = "The Proof Theory and Semantics of Intuitionistic Modal Logic - Simpson (0) (0) - a - a - o.pdf"
}

@PhdThesis{ Simpson, Author = "Simpson, Alex", date-added = "2015-10-19 18:26:49 +0000", date-modified = "2015-10-19 18:27:29 +0000", Keywords = "intuitionistic logic and modal logic", School = "University of Edinburgh", Title = "The Proof Theory and Semantics of Intuitionistic Modal Logic", Year = "1994", File = "The Proof Theory and Semantics of Intuitionistic Modal Logic - Simpson (0) (0) - a - a - o.pdf" }