Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/31644
Title: Multi-Type Display Calculus for Propositional Dynamic Logic
Authors: Frittella, S.
Greco, G.
Kurz, Alexander
Palmigiano, A.
First Published: 21-Nov-2014
Publisher: Oxford University Press (OUP)
Citation: Journal of Logic and Computation, 2014, Special Issue on Substructural Logic and Information Dynamics
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.
DOI Link: 10.1093/logcom/exu064
ISSN: 0955-792X
eISSN: 1465-363X
Links: http://logcom.oxfordjournals.org/content/early/2014/11/21/logcom.exu064
http://hdl.handle.net/2381/31644
Version: Post-print
Status: Peer-reviewed
Type: Other
Rights: Archived with reference to SHERPA/RoMEO and publisher website. his is a pre-copyedited, author-produced PDF of an article accepted for publication in the Journal of Logic and Computation following peer review. The version of record Journal of Logic and Computation, 2014, Special Issue on Substructural Logic and Information Dynamics is available online at: http://logcom.oxfordjournals.org/content/early/2014/11/21/logcom.exu064
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
multi-type-pdl.pdfPost-review (final submitted)240.31 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.