A first-order probabilistic logic with approximate conditional probabilities (Q5172139)
From MaRDI portal
scientific article; zbMATH DE number 6403087
Language | Label | Description | Also known as |
---|---|---|---|
English | A first-order probabilistic logic with approximate conditional probabilities |
scientific article; zbMATH DE number 6403087 |
Statements
A first-order probabilistic logic with approximate conditional probabilities (English)
0 references
12 February 2015
0 references
probabilistic first-order logic
0 references
approximate probability
0 references
nonstandard analysis
0 references
strong completeness
0 references
decidability
0 references