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
    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

    Identifiers