A completeness proof for adapted probability logic
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.
scientific article; zbMATH DE number 3968561
scientific article