Multi-type display calculus for propositional dynamic logic

Frittella, Sabine; Greco, G.; Kurz, Alexander; Palmigiano, A.

Multi-type display calculus for propositional dynamic logic

Journal article (2016)

Authors

Sabine Frittella Aix Marseille Université

G. Greco

Alexander Kurz University of Leicester

A. Palmigiano

Propositional dynamic logic Display calculus Multi-type proof-system

To reference this document use:

http://resolver.tudelft.nl/uuid:686b238e-35b1-4394-a2e8-aecab9c8f522

More Info

expand_more

Published Date

2016

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

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.