Two is enough -- bisequent calculus for S5

DOI10.1007/978-3-030-29007-8_16zbMath1468.03022OpenAlexW2969501000MaRDI QIDQ2180235

Andrzej Indrzejczak

Publication date: 13 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29007-8_16

zbMATH Keywords

modal logiccut eliminationbisequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

This page was built for publication: Two is enough -- bisequent calculus for S5