Multi-type display calculus for propositional dynamic logic

More Info
expand_more

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.

No files available

Metadata only record. There are no files for this journal article.