A fully labelled proof system for intuitionistic modal logics

DOI10.1093/LOGCOM/EXAB020OpenAlexW3128849256MaRDI QIDQ3382814

Sonia Marin, Marianela Morales, Lutz Straßburger

Publication date: 22 September 2021

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-02390454v3/file/document.pdf

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: A fully labelled proof system for intuitionistic modal logics