On decidable extensions of Propositional Dynamic Logic with Converse.

Daniel Rogozin Ilya Shapirovsky

Published in: CoRR (2023)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
first order logic
automata theoretic
data sets
learning algorithm
default logic
transitive closure
knowledge base
efficient implementation
datalog programs
function symbols