21.2.2018 10:00 @ Applied Mathematical Logic
We present a sound and complete binary implicational system for the positive fragment of Propositional Dynamic Logic (PDL). The positive fragment is interesting mainly because its study facilitates the investigation of various non-classical versions of PDL. We provide two examples{a version of PDL based on the Non-associative Lambek calculus and a ver- sions containing a modal De Morgan negation. The talk is based on joint work with Vít Punčochář.
