Open Access. Powered by Scholars. Published by Universities.®

Other Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Chapman University

Other Mathematics

2016

Propositional dynamic logic

Articles 1 - 1 of 1

Full-Text Articles in Other Computer Engineering

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano Jan 2016

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

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.

Go to article