Multi-type display calculus for propositional dynamic logic

None, None; None, None; None, None; None, None

Multi-type display calculus for propositional dynamic logic

Journal Article (2016)

Author(s)

Sabine Frittella (Aix Marseille Université)

Giuseppe Greco (TU Delft - Technology, Policy and Management)

Alexander Kurz (University of Leicester)

Alessandra Palmigiano (TU Delft - Technology, Policy and Management)

Research Group

Ethics & Philosophy of Technology

Propositional dynamic logic Display calculus Multi-type proof-system

DOI related publication

https://doi.org/10.1093/logcom/exu064 Final published version

To reference this document use

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

More Info

expand_more

Publication Year

2016

Language

English

Research Group

Ethics & Philosophy of Technology

Issue number

6

Volume number

26

Pages (from-to)

2067-2104

Downloads counter

143

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.