Analytic Cut for Propositional Dynamic Logic

  title={Analytic Cut for Propositional Dynamic Logic},
  author={Chrysafis Hartonas and TEI Larissa},
We present a Gentzen system GPDL for Propositional Dynamic Logic, deriving the classical Segerberg axiomatization from our system. The main contribution consists in proving that the system presented is equivalent to a subsystem where only Analytic Cut of a special and restricted kind is permitted. This resolves the long-standing open problem of Cut… CONTINUE READING