A dual-context sequent calculus for the constructive modal logic S4.
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233
Online
academicJournal
Zugriff:
Titel: |
A dual-context sequent calculus for the constructive modal logic S4.
|
---|---|
Autor/in / Beteiligte Person: | Miranda-Perea, Favio Ezequiel ; González Huesca, Lourdes del Carmen ; Linares Arévalo, Pilar Selene |
Link: | |
Zeitschrift: | Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233 |
Veröffentlichung: | 2022 |
Medientyp: | academicJournal |
ISSN: | 0960-1295 (print) |
DOI: | 10.1017/S0960129522000378 |
Sonstiges: |
|