Concerning measures in first order calculi
From MaRDI portal
Publication:2538114
DOI10.1007/BF02759729zbMATH Open0192.03302MaRDI QIDQ2538114FDOQ2538114
Publication date: 1964
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Cites Work
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)