Probabilistic characterisation of models of first-order theories

DOI10.1016/j.apal.2020.102875zbMath1498.03058OpenAlexW3048462214MaRDI QIDQ2003929

Soroush Rafiee Rad

Publication date: 13 October 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2020.102875

zbMATH Keywords

first-order theoriesprobabilistic modelsprobabilistic logicrenaming principle

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Basic properties of first-order languages and structures (03C07)

Related Items

Logical perspectives on the foundations of probability, Rules of proof for maximal entropy inference, Determining maximal entropy functions for objective Bayesian inductive logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Objective Bayesianism and the maximum entropy principle
• Equivocation axiom on first order languages
• A note on the inevitability of maximum entropy
• The principle of maximum entropy
• Non-additive measures of entropy and distributions of statistical mechanics
• On the applicability of maximum entropy to inexact reasoning
• Model theory
• Invariant equivocation
• Concerning measures in first order calculi
• From statistical knowledge bases to degrees of belief
• Information Theory and Statistical Mechanics
• Inference Processes for Quantified Predicate Knowledge
• Objective Bayesian probabilistic logic
• In Defence of Objective Bayesianism
• A Note on the Least Informative Model of a Theory
• The Uncertain Reasoner's Companion
• Using Histograms to Better Answer Queries to Probabilistic Logic Programs
• Asymptotic Conditional Probabilities: The Unary Case
• Asymptotic conditional probabilities: The non-unary case
• Maximum Entropy Inference with Quantified Knowledge