Multi-type display calculus for propositional dynamic logic
Journal Article
(2016)
Author(s)
Sabine Frittella (Aix Marseille Université)
G. Greco (TU Delft - Ethics & Philosophy of Technology)
Alexander Kurz (University of Leicester)
Alessandra Palmigiano (TU Delft - Ethics & Philosophy of Technology)
Research Group
Ethics & Philosophy of Technology
DOI related publication
https://doi.org/10.1093/logcom/exu064
To reference this document use:
https://resolver.tudelft.nl/uuid:686b238e-35b1-4394-a2e8-aecab9c8f522
More Info
expand_more
expand_more
Publication Year
2016
Language
English
Research Group
Ethics & Philosophy of Technology
Issue number
6
Volume number
26
Pages (from-to)
2067-2104
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.
No files available
Metadata only record. There are no files for this record.