Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.
Ernst-Erich DoberkatPublished in: Ann. Pure Appl. Log. (2008)
Keyphrases
- logic programming
- modal logic
- stochastic model
- predicate logic
- classical logic
- neural network
- artificial intelligence
- human behavior
- digital circuits
- learning automata
- sound and complete axiomatization
- stochastic nature
- proof theory
- formal theory
- nonmonotonic logics
- stochastic optimization
- database
- case study
- information systems
- real time