Finitely-valued propositional dynamic logic.

Published in: CoRR (2020)

Keyphrases

propositional dynamic logic
dynamic logic
reasoning about actions
finite number
machine learning
inductive inference
neural network
three dimensional
control system
logic programming
situation calculus