For example, S4 itself is the smallest modal companion of the intuitionistic logic (IPC).
例如，S4 自身是直觉逻辑(IPC)的最小模态伙伴。