Rooted hypersequent calculus for modal logic \textsf{S5}

From MaRDI portal
Publication:6054106

DOI10.1007/S11787-023-00328-WarXiv1905.09039OpenAlexW2945569854MaRDI QIDQ6054106

Hamzeh Mohammadi, Mojtaba Aghaei

Publication date: 24 October 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.09039







Cites Work




This page was built for publication: Rooted hypersequent calculus for modal logic \textsf{S5}