The Barcan Formula in First-Order Intuitionistic Modal Logic S5

Joint presentation with Dr. Youan Su.

Joint work with Dr. Youan Su and Dr. Huaqing Cheng.