An intuitionistic modal logic with applications to the formal verification of hardware (1995)

by M Fairtlough, M Mendler
Venue:Proceedings of conference on computer science logic. Lecture Notes in Computer Science