Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Multi-type display calculus for propositional dynamic logic.
Journal of Logic and Computation, Oxford University Press (OUP), 2016, J Logic Computation 2016, 26 (6),
⟨10.1093/logcom/exu064⟩.
⟨hal-01509392⟩