Calculi for intuitionistic normal modal logic (2007)

Cached

Download Links

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