A completeness proof for adapted probability logic (Q1080844)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A completeness proof for adapted probability logic |
scientific article; zbMATH DE number 3968561
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A completeness proof for adapted probability logic |
scientific article; zbMATH DE number 3968561 |
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
