Skip to Main content Skip to Navigation
Journal articles

Multi-type display calculus for propositional dynamic logic

Sabine Frittella 1 Giuseppe Greco 2 Alexander Kurz 3 Alessandra Palmigiano 4
1 LIF - Laboratoire d'informatique Fondamentale de Marseille
2 TUDelft - Delft Univ. of Technology
3 University of Leicester
4 Applied Logic
TU Delft - Delft University of Technology
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.
Keywords : Display calculus propositional dynamic logic multi-type proof-system
Document type :
Journal articles
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01509392
Contributor : Sabine Frittella <>
Submitted on : Monday, April 17, 2017 - 4:47:21 PM
Last modification on : Thursday, January 23, 2020 - 6:22:10 PM

Links full text

arxiv

Identifiers

Collections

CNRS | EC-MARSEILLE | LIF | UNIV-AMU | LIS-LAB

Citation

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Multi-type display calculus for propositional dynamic logic. Journal of Logic and Computation, Oxford University Press (OUP), 2016, J Logic Computation 2016, 26 (6), ⟨10.1093/logcom/exu064⟩. ⟨hal-01509392⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

168