A completeness proof for adapted probability logic (Q1080844)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A completeness proof for adapted probability logic |
scientific article |
Statements
A completeness proof for adapted probability logic (English)
0 references
1986
0 references
Adapted probability logic is a formal logic appropriate for the study of continuous time stochastic processes. It was introduced by Keisler, and has been developed by Keisler and Hoover and others. This paper provides a short and clear completeness proof for this logic.
0 references
continuous time stochastic processes
0 references
0 references
0 references
