The following pages link to Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207):
Displaying 2 items.