Concerning measures in first order calculi
From MaRDI portal
Publication:2538114
DOI10.1007/BF02759729zbMath0192.03302MaRDI QIDQ2538114
Publication date: 1964
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Related Items (87)
A normal form theorem for Lω1p, with applications ⋮ The counterpart principle of analogical support by structural similarity ⋮ The principle of signature exchangeability ⋮ Probabilities over rich languages, testing and randomness ⋮ Generalized Bosbach states. I ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ An examination of the SEP candidate analogical inference rule within pure inductive logic ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ A triple uniqueness of the maximum entropy approach ⋮ A p-adic probability logic ⋮ Probabilities of First-Order Sentences about Unary Functions ⋮ Can logic be combined with probability? Probably ⋮ The computational complexity of asymptotic problems. I: Partial orders ⋮ A logic for arguing about probabilities in measure teams ⋮ Modelling uncertain inference ⋮ On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic ⋮ Relative negations in non-commutative fuzzy structures ⋮ PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ Logical perspectives on the foundations of probability ⋮ Rules of proof for maximal entropy inference ⋮ Preservation theorems in finite model theory ⋮ A survey of some recent results on spectrum exchangeability in polyadic inductive logic ⋮ A continuum-valued logic of degrees of probability ⋮ A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic ⋮ Combining analogical support in pure inductive logic ⋮ Determining maximal entropy functions for objective Bayesian inductive logic ⋮ Pseudofinite formulae ⋮ Semantic probabilistic inference of predictions ⋮ Language Invariance and Spectrum Exchangeability in Inductive Logic ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Unnamed Item ⋮ Asymptotic conditional probabilities: The non-unary case ⋮ Towards the entropy-limit conjecture ⋮ Probabilities on sentences in an expressive logic ⋮ Infinity and verifiability in Carnap's inductive logic ⋮ Probability and logic. ⋮ The emergence of reasons conjecture. ⋮ Second order inductive logic and Wilmers' principle ⋮ Objective Bayesianism with predicate languages ⋮ Logic with numbers ⋮ A note on binary inductive logic ⋮ MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC ⋮ On computable beliefs of rational machines ⋮ A Survey of First-Order Probabilistic Models ⋮ Infinitary logics and 0-1 laws ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Equivocation axiom on first order languages ⋮ Finite-model theory -- A personal perspective ⋮ Quantified beliefs and believed quantities ⋮ Automated compilation of object-oriented probabilistic relational models ⋮ Symmetry in polyadic inductive logic ⋮ States on polyadic MV-algebras ⋮ Probabilistic characterisation of models of first-order theories ⋮ Probabilistic logic programming ⋮ INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES ⋮ A note on irrelevance in inductive logic ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ Probability logic for type spaces ⋮ PRL: a probabilistic relational language ⋮ The entropy-limit (conjecture) for \(\Sigma_2\)-premisses ⋮ A continuum of inductive methods arising from a generalized principle of instantial relevance ⋮ Instantial Relevance in Polyadic Inductive Logic ⋮ Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic ⋮ Probability logic in the twentieth century ⋮ The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws ⋮ Infinitary logic for computer science ⋮ PURE INDUCTIVE LOGIC WITH FUNCTIONS ⋮ Some aspects of polyadic inductive logic ⋮ A logic for reasoning about probabilities ⋮ Ancient Indian Logic and Analogy ⋮ An analysis of first-order logics of probability ⋮ Atom exchangeability and instantial relevance ⋮ Probability semantics for quantifier logic ⋮ Randomizing a model ⋮ A definitive probabilistic semantics for first-order logic ⋮ Reasoning with Uncertainty in Deductive Databases and Logic Programs ⋮ On sets of relations definable by addition ⋮ THE THEORY OF SPECTRUM EXCHANGEABILITY ⋮ Measures on cylindric algebras ⋮ A probabilistic dynamic logic ⋮ Quantifier probability logic and the confirmation paradox ⋮ A logic for inductive probabilistic reasoning ⋮ A semantical framework for supporting subjective and conditional probabilities in deductive databases ⋮ On random models of finite power and monadic logic ⋮ Logics with Probability Operators ⋮ Combining probabilistic logic programming with the power of maximum entropy ⋮ Some observations on induction in predicate probabilistic reasoning
Cites Work
This page was built for publication: Concerning measures in first order calculi
