A completeness proof for adapted probability logic
type: Item
instance of: scholarly article
title: A completeness proof for adapted probability logic
zbMATH Open document ID: 0601.03004
DOI: 10.1016/0168-0072(86)90062-X
author: H. Jerome Keisler
published in: Annals of Pure and Applied Logic
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 60A05
zbMATH DE Number: 3968561
zbMATH Keywords: continuous time stochastic processes
reviewed by: Henry E. jun. Kyburg
MaRDI profile type: Publication
cites work: Q3726085
cites work: Probability logic
cites work: Adapted Probability Distributions
cites work: Some model theoretic results for \(\omega\)-logic
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Hyperfinite models of adapted probability logic
cites work: Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
cites work: A functional approach to nonstandard measure theory
cites work: A characterization of nonstandard liftings of measurable functions and stochastic processes
description: scientific article; zbMATH DE number 3968561