Calculi for intuitionistic normal modal logic (2007)

by Y Kakutani
Venue:In Proceedings of Programming and Programming Languages