Concerning measures in first order calculi

DOI10.1007/BF02759729zbMATH Open0192.03302MaRDI QIDQ2538114FDOQ2538114

Haim Gaifman

Publication date: 1964

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

general logic

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Measures in Boolean Algebras
• On the axiomatic treatment of probability
• Extensions of measure
• Concerning measures on Boolean algebras

Cited In (91)

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

This page was built for publication: Concerning measures in first order calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2538114)