On Decidable Extensions of Propositional Dynamic Logic with Converse.

Daniel Rogozin Ilya Shapirovsky

Published in: FLAP (2023)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
first order logic
transitive closure
automata theoretic
databases
neural network
artificial intelligence
software engineering
default logic
computation tree logic