Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

Open in new window