Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/36715
Title: Multi-type display calculus for propositional dynamic logic
Authors: Frittella, S.
Greco, G.
Kurz, Alexander Herbert
Palmigiano, A.
First Published: 21-Nov-2014
Publisher: Oxford University Press (OUP)
Citation: Journal of Logic and Computation (Advance Access)
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.short
http://hdl.handle.net/2381/36715
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © The Author, 2014. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com. This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The version of record J Logic Computation (2014) is available online at: dx.doi.org/10.1093/logcom/exu064. Deposited with reference to the publisher’s archiving policy available on the SHERPA/RoMEO website.
Appears in Collections:Published Articles, Dept. of Computer Science

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


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