pfenning-2001-a:
  type: article
  title: A judgmental reconstruction of modal logic
  author:
  - Pfenning, Frank
  - Davies, Rowan
  date: 2001-07
  page-range: 511-540
  serial-number:
    doi: 10.1017/s0960129501003322
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 4
    volume: 11