Calculi for intuitionistic normal modal logic (2007)

by Yoshihiko Kakutani
Venue:In Proceedings of Programming and Programming Languages
Citations:2 - 1 self