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 : Monday, March 4, 2019 - 2:04:14 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), ⟨https://academic.oup.com/logcom/article-abstract/26/6/2067/2743522/Multi-type-display-calculus-for-propositional?redirectedFrom=fulltext⟩. ⟨10.1093/logcom/exu064⟩. ⟨hal-01509392⟩

Share

Metrics

Record views

119