A dual-context sequent calculus for the constructive modal logic S4
Sign Up to like & getrecommendations! Published in 2022 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129522000378
Abstract: Abstract The proof theory of the constructive modal logic S4 (hereafter $\mathsf{CS4}$ ) has been settled since the beginning of this century by means of either standard natural deduction and sequent calculi or by the… read more here.
Keywords: sequent calculus; mathsf cs4; modal logic; constructive modal ... See more keywords