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...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Lodz University Press
2024-06-01
|
| coleção: | Bulletin of the Section of Logic |
| Assuntos: | |
| Acesso em linha: | https://czasopisma.uni.lodz.pl/bulletin/article/view/18364 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|