Search CORE

1 research outputs found

Multi-type display calculus for Propositional Dynamic Logic

Author: Frittella Sabine
Greco Giuseppe
Kurz Alexander
Palmigiano Alessandra
Publication venue: 'Oxford University Press (OUP)'
Publication date: 18/05/2018
Field of study

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.Comment: arXiv admin note: text overlap with arXiv:1805.0758

arXiv.org e-Print Archive