Bimodal Logics for Reasoning About Continuous Dynamics.

Jennifer M. Davoren Rajeev Goré

Published in: Advances in Modal Logic (2000)

Keyphrases

dynamic model
dynamical systems
expressive power
neural dynamics
spatial reasoning
modal logic
qualitative reasoning
propositional calculus
reinforcement learning
multiscale
feature extraction
neural network
classical logic
temporal evolution
discrete data
formal theory
data sets