The intuitionistic temporal logic of dynamical systems.
David Fernández-DuquePublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- dynamical systems
- temporal logic
- linear logic
- model checking
- fixed point
- modal logic
- differential equations
- qualitative differential equations
- satisfiability problem
- fuzzy set theory
- dynamic systems
- theorem prover
- concurrent systems
- qualitative simulation
- phase space
- verification method
- state space
- nonlinear dynamical systems
- computation tree logic
- belief revision
- logical framework
- transition systems
- predictive state representations
- natural deduction
- temporal knowledge
- bounded model checking
- partially observable