PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.

Diego Figueira Santiago Figueira Edwin Pin Baque

Published in: CoRR (2023)

Keyphrases

propositional dynamic logic
deontic logic
dynamic logic
databases
artificial intelligence
information systems
clustering algorithm
control system
default theories