datum: 21.2.2018 v 10:00
název: From the positive fragment of PDL to its non-classical extensions
přednášející: Igor Sedlár (UI)
místo konání: UI, 2.patro, místnost č.318

souhrn: 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 version containing a modal De Morgan negation. The talk is based on joint work with Vít Punčochář.