@ARTICLE {34457,
author={J. Rasga and C. Sernadas},
doi={10.18778/0138-0680.2024.11},
journal={Bulletin of the Section of Logic},
title={On Combining Intuitionistic and S4 Modal Logic},
year={2024},
month={June},
volume={53},
number={3},
pages={321-344},
ISSN={0138-0680}
}