Skip to Main content Skip to Navigation
Journal articles

Multi-type display calculus for propositional dynamic logic

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.
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

Identifiers

Collections

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⟩

Share

Metrics

Record views

168