: Definite Descriptions in Differential Dynamic Logic.

Brandon Bohrer Manuel Fernández André Platzer

Published in: CADE (2019)

Keyphrases

dynamic logic
reasoning about actions
modal logic
high level
propositional dynamic logic
classical first order logic
imperative programs
agent programming
first order logic
multiple input
neural network
multi agent
sufficient conditions
situation calculus
modal operators
natural language descriptions