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
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
