An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware.

Matt Fairtlough, Michael Mendler

Browse the full CSL paper archive.