Probabilistic characterisation of models of first-order theories
type: Item
instance of: scholarly article
title: Probabilistic characterisation of models of first-order theories
zbMATH Open document ID: 1498.03058
author: Soroush Rafiee Rad
published in: Annals of Pure and Applied Logic
publication date: 2020-10-13T00:00:00Z
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 7260110
zbMATH Keywords: probabilistic models
zbMATH Keywords: first-order theories
zbMATH Keywords: renaming principle
zbMATH Keywords: probabilistic logic
MaRDI profile type: Publication
full work available at URL: j.apal.2020.102875
OpenAlex ID: W3048462214
cites work: From statistical knowledge bases to degrees of belief
cites work: Maximum Entropy Inference with Quantified Knowledge
cites work: Using Histograms to Better Answer Queries to Probabilistic Logic Programs
cites work: Model theory
cites work: Concerning measures in first order calculi
cites work: Q4386955
cites work: Asymptotic Conditional Probabilities: The Unary Case
cites work: Asymptotic conditional probabilities: The non-unary case
cites work: The principle of maximum entropy
cites work: Q4003410
cites work: Information Theory and Statistical Mechanics
cites work: Q3664964
cites work: Q4001486
cites work: Non-additive measures of entropy and distributions of statistical mechanics
cites work: Invariant equivocation
cites work: Objective Bayesianism and the maximum entropy principle
cites work: The Uncertain Reasoner&#39;s Companion
cites work: Inference Processes for Quantified Predicate Knowledge
cites work: A Note on the Least Informative Model of a Theory
cites work: On the applicability of maximum entropy to inexact reasoning
cites work: A note on the inevitability of maximum entropy
cites work: Q5869520
cites work: Equivocation axiom on first order languages
cites work: Q5801644
cites work: In Defence of Objective Bayesianism
cites work: Objective Bayesian probabilistic logic
DOI: 10.1016/J.APAL.2020.102875
description: scientific article; zbMATH DE number 7260110