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

by M Fairtlough, M Mendler
Venue:In Proceedings of Computer Science Logic 1994, volume 933 of Lecture Notes in Computer Science