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

Add code
Jul 19, 2023

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: