Multi-type display calculus for Propositional Dynamic Logic
Logic
2018-05-24 v1
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.
Cite
@article{arxiv.1805.09144,
title = {Multi-type display calculus for Propositional Dynamic Logic},
author = {Sabine Frittella and Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano},
journal= {arXiv preprint arXiv:1805.09144},
year = {2018}
}
Comments
arXiv admin note: text overlap with arXiv:1805.07586