TY - JOUR
T1 - Multi-type display calculus for propositional dynamic logic
AU - Frittella, Sabine
AU - Greco, Giuseppe
AU - Kurz, Alexander
AU - Palmigiano, Alessandra
PY - 2016/1/1
Y1 - 2016/1/1
N2 - 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.
AB - 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.
KW - Display calculus
KW - Multi-type proof-system
KW - Propositional dynamic logic
UR - http://www.scopus.com/inward/record.url?scp=85014713948&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85014713948&partnerID=8YFLogxK
U2 - 10.1093/logcom/exu064
DO - 10.1093/logcom/exu064
M3 - Article
AN - SCOPUS:85014713948
SN - 0955-792X
VL - 26
SP - 2067
EP - 2104
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 6
ER -