Constructive Dynamic Logic of Relation Changers.

Ryo Hatano Katsuhiko Sano

Published in: DaLí (2020)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
propositional dynamic logic
artificial intelligence
agent programming
data sets
first order logic
classical first order logic
database
neural network
search engine
high level
expert systems
binary relations