An intuitionistic modal logic with application to the formal veri of hardware (1994)

by M Fairtlough, M Mendler
Venue:Proceedings of the 8th Workshop on Computer Science Logic (CSL’94