On Combining Intuitionistic and S4 Modal Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely conjunction, disjunction and falsum as well as the...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2024-06-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/18364 |