Analytic Cut for Propositional Dynamic Logic

@inproceedings{Hartonas2010AnalyticCF,
  title={Analytic Cut for Propositional Dynamic Logic},
  author={Chrysafis Hartonas and TEI Larissa},
  year={2010}
}
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