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 (3)

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

This page was built for publication: Probabilistic characterisation of models of first-order theories