University of Leicester
Browse
- No file added yet -

Multi-type display calculus for propositional dynamic logic

Download (240.31 kB)
journal contribution
posted on 2016-02-15, 11:50 authored by S. Frittella, G. Greco, Alexander Herbert 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 (Advance Access)

Author affiliation

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

Version

  • AM (Accepted Manuscript)

Published in

Journal of Logic and Computation (Advance Access)

Publisher

Oxford University Press (OUP)

issn

0955-792X

eissn

1465-363X

Acceptance date

2014-11-21

Copyright date

2014

Available date

2016-02-15

Publisher DOI

Publisher version

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

Language

en

Administrator link

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Keywords

    Display calculuspropositional dynamic logicmulti-type proof-system

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC