マッキンゼー公理を持つモーダル論理の位相的積

本論文では、S4.1とS4のモーダル論理の位相的積について考察します。これは、論理S4.1とS4の融合に1つの追加公理を加えたものであることを証明します。また、この積が決定可能であることを示します。これは、融合より大きく、対応する論理の拡張積より小さい論理の位相的積の一例です。