Multi-Type Display Calculus for Propositional Dynamic Logic

online resource

posted on 2015-02-11, 11:12 authored by S. Frittella, G. Greco, Alexander Kurz, A. Palmigiano

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.

History

Citation

Journal of Logic and Computation, 2014, Special Issue on Substructural Logic and Information Dynamics

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

AM (Accepted Manuscript)

Published in

Journal of Logic and Computation

Publisher

Oxford University Press (OUP)

issn

0955-792X

eissn

1465-363X

Copyright date

2014

Available date

2015-11-21

Publisher DOI

https://doi.org/10.1093/logcom/exu064

Publisher version

http://logcom.oxfordjournals.org/content/early/2014/11/21/logcom.exu064

Language

en

Administrator link

https://leicester.figshare.com/account/articles/10129139

Usage metrics

Keywords

display calculus propositional dynamic logic multi-type proofsystem

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC