Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete

08/27/2021

∙

by   Kai Tanter, et al.

∙

0

∙

share

We show that relational hypersequent K4, S4, KB and RB, investigated in Parisi (2020) and Burns and Zach (2020) are cut-free hypersequent incomplete. In addition, the former two are also cut-free sequent and formula incomplete.