Propositional dynamic logic in two- and more dimensions

Assen Petkov

pp. 323-329


This document is unfortunately not available for download at the moment.

Not implemented yet !