From positive PDL to its non-classical extensions

Igor Sedlár, Vít Puncochár. From positive PDL to its non-classical extensions. Logic Journal of the IGPL, 27(4):522-542, 2019. [doi]

No reviews for this publication, yet.