Relational Differential Dynamic Logic.

Juraj Kolcák Ichiro Hasuo Jérémy Dubut Shin-ya Katsumata David Sprunger Akihisa Yamada

Published in: CoRR (2019)

Keyphrases

dynamic logic
modal logic
reasoning about actions
relational databases
imperative programs
relational data
relational model
data model
propositional dynamic logic
database
logic programming
graphical models
database schema
relational learning
multi relational
case based reasoning
multiple input
machine learning