The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator.
Ernst-Erich DoberkatPublished in: J. Appl. Log. (2007)
Keyphrases
- markov processes
- optimal control problems
- stochastic processes
- logic programming
- optimal control
- markov chain
- modal operators
- multi valued
- modal logic
- proof theory
- classical logic
- state space
- computational properties
- development environment
- dynamical systems
- monte carlo
- non stationary
- stochastic model
- automated reasoning
- aggregation operators
- default logic
- belief revision
- stochastic optimization
- nonmonotonic logics
- stochastic programming
- knowledge base