Document Type
Article
Publication Date
2016
Abstract
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Recommended Citation
S. Frittella, G. Greco, A. Kurz, and A. Palmigiano, “Multi-type display calculus for propositional dynamic logic,” Journal of Logic and Computation, vol. 26, no. 6, pp. 2067–2104, Dec. 2016. DOI: 10.1093/logcom/exu064
Copyright
Oxford University Press
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-authenticated version
S. Frittella, G. Greco, A. Kurz, and A. Palmigiano, “Multi-type display calculus for propositional dynamic logic,” Journal of Logic and Computation, vol. 26, no. 6, pp. 2067–2104, Dec. 2016.
is available online at DOI: 10.1093/logcom/exu064