On the public citation graph

Concerning measures in first order calculi

0 signed · 261 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-349-00843-8openalex-snapshot
A Treatise on Probability
inferredcites →https://doi.org/10.1016/s0049-237x(09)70598-1openalex-snapshot
The Aim of Inductive Logic
inferredcites →https://doi.org/10.1090/s0002-9947-1948-0028922-8openalex-snapshot
Measures in Boolean Algebras
inferredcites →https://doi.org/10.2140/pjm.1964.14.61openalex-snapshot
Concerning measures on Boolean algebras
inferredcites →https://doi.org/10.4064/cm-3-2-125-137openalex-snapshot
On the axiomatic treatment of probability
inferredcites →https://doi.org/10.4064/fm-36-1-267-276openalex-snapshot
Extensions of measure

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0471667196.ess1611openalex-snapshot
Probability and Logic
inferred← citeshttps://doi.org/10.1002/0471667196.ess1611.pub2openalex-snapshot
Probability and Logic
inferred← citeshttps://doi.org/10.1002/9780470996751.ch23openalex-snapshot
Logic in Finite Structures: Definability, Complexity, and Randomness
inferred← citeshttps://doi.org/10.1002/9781118445112.stat02943openalex-snapshot
Probability and Logic
inferred← citeshttps://doi.org/10.1002/jgt.20035openalex-snapshot
Pseudo‐random properties of self‐complementary symmetric graphs
inferred← citeshttps://doi.org/10.1002/jgt.3190030305openalex-snapshot
Properties of almost all graphs and complexes
inferred← citeshttps://doi.org/10.1002/malq.19840301304openalex-snapshot
WEAK CONDITIONAL COMPARATIVE PROBABILITY AS A FORMAL SEMANTIC THEORY
inferred← citeshttps://doi.org/10.1002/malq.19870330312openalex-snapshot
The Complexity of Defining a Relation on a Finite Graph
inferred← citeshttps://doi.org/10.1002/malq.201110006openalex-snapshot
A p‐adic probability logic
inferred← citeshttps://doi.org/10.1002/tht3.225openalex-snapshot
We Turing Machines Can’t Even Be Locally Ideal Bayesians
inferred← citeshttps://doi.org/10.1006/aima.1998.1793openalex-snapshot
Randomizing a Model
inferred← citeshttps://doi.org/10.1006/inco.1994.1049openalex-snapshot
Decidability and Expressiveness for First-Order Logics of Probability
inferred← citeshttps://doi.org/10.1006/jcss.1996.0069openalex-snapshot
Logical Definability of Counting Functions
inferred← citeshttps://doi.org/10.1007/0-306-48123-5_21openalex-snapshot
Bayesian Evidence
inferred← citeshttps://doi.org/10.1007/1-4020-4631-6_2openalex-snapshot
A Logic for Inductive Probabilistic Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_6openalex-snapshot
0–1 Laws for Fragments of Existential Second-Order Logic: A Survey
inferred← citeshttps://doi.org/10.1007/3-540-46564-2_7openalex-snapshot
Extension of the Relational Algebra to Probabilistic Complex Values
inferred← citeshttps://doi.org/10.1007/3-540-53507-1_67openalex-snapshot
Finite-model theory—a personal perspective
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_96openalex-snapshot
Infinitary logic for computer science
inferred← citeshttps://doi.org/10.1007/3-540-56039-4_50openalex-snapshot
A paradox in database theory
inferred← citeshttps://doi.org/10.1007/3-540-60178-3_99openalex-snapshot
Preservation theorems in finite model theory
inferred← citeshttps://doi.org/10.1007/978-1-4020-9198-8_5openalex-snapshot
Epistemic Probability and Coherent Degrees of Belief
inferred← citeshttps://doi.org/10.1007/978-1-4612-2822-6_10openalex-snapshot
0–1 Laws for Fragments of Second-Order Logic: An Overview
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_15openalex-snapshot
Unary Probabilistic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-06167-8_9openalex-snapshot
Languages for Probabilistic Modeling Over Structured and Relational Domains
inferred← citeshttps://doi.org/10.1007/978-3-030-39951-1_8openalex-snapshot
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
inferred← citeshttps://doi.org/10.1007/978-3-030-86772-0_46openalex-snapshot
A Triple Uniqueness of the Maximum Entropy Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-14835-4_5openalex-snapshot
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-42034-4_8openalex-snapshot
Beyond FO Within SO
inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_3openalex-snapshot
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-031-66040-5_1openalex-snapshot
Quasi - Fractal Propositional Algebra Digitalization of Propositional Algebra and NPC
inferred← citeshttps://doi.org/10.1007/978-3-031-77892-6_2openalex-snapshot
Pure Inductive Logic
inferred← citeshttps://doi.org/10.1007/978-3-0348-7915-6_48openalex-snapshot
A Zero-One Law for First-Order Logic on Random Images
inferred← citeshttps://doi.org/10.1007/978-3-319-01589-7_8openalex-snapshot
Generalized States on Residuated Structures
inferred← citeshttps://doi.org/10.1007/978-3-319-16655-1_7openalex-snapshot
On a Combination of Truth and Probability: Probabilistic Independence-Friendly Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-41649-6_20openalex-snapshot
Asymptotic Logical Uncertainty and the Benford Test
inferred← citeshttps://doi.org/10.1007/978-3-319-47012-2_2openalex-snapshot
History
inferred← citeshttps://doi.org/10.1007/978-3-319-61581-3_9openalex-snapshot
The Descriptive Complexity of Bayesian Network Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-63703-7_9openalex-snapshot
From First-Order Logic to Assertional Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-75256-1_16openalex-snapshot
Language Invariance and Spectrum Exchangeability in Inductive Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-77664-2_21openalex-snapshot
Possible Semantics for a Common Framework of Probabilistic Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-85066-3_12openalex-snapshot
A Survey of First-Order Probabilistic Models
inferred← citeshttps://doi.org/10.1007/978-3-540-87993-0_11openalex-snapshot
Loopy Propagation in a Probabilistic Description Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-92701-3_11openalex-snapshot
Instantial Relevance in Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-13962-8_38openalex-snapshot
A Note on the Least Informative Model of a Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-18026-2_12openalex-snapshot
A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-83943-6_7openalex-snapshot
Elements of a Model-Theoretic Framework for Probabilistic Measurement
inferred← citeshttps://doi.org/10.1007/978-3-662-07003-1_12openalex-snapshot
Zero-One Laws
inferred← citeshttps://doi.org/10.1007/978-3-662-54033-6_5openalex-snapshot
Agent Foundations for Aligning Machine Intelligence with Human Interests: A Technical Research Agenda
inferred← citeshttps://doi.org/10.1007/978-3-662-54069-5_15openalex-snapshot
Ancient Indian Logic and Analogy
inferred← citeshttps://doi.org/10.1007/978-90-481-9890-0_1openalex-snapshot
The Pursuit of Knowledge
inferred← citeshttps://doi.org/10.1007/978-94-007-0714-6_12openalex-snapshot
From Unary to Binary Inductive Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-2639-4_10openalex-snapshot
Laws in Logic and Combinatorics
inferred← citeshttps://doi.org/10.1007/978-94-009-7066-3_3openalex-snapshot
Alternatives to Standard First-Order Semantics
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_13openalex-snapshot
Logic and Probability
inferred← citeshttps://doi.org/10.1007/978-94-009-9351-8_11openalex-snapshot
Foundations of a Quantum Probability Theory
inferred← citeshttps://doi.org/10.1007/978-94-010-1135-8_4openalex-snapshot
An Axiomatic Foundation for the Logic of Inductive Generalization
inferred← citeshttps://doi.org/10.1007/978-94-010-2159-3_10openalex-snapshot
Remarks on Semantic Information
inferred← citeshttps://doi.org/10.1007/978-94-010-3142-4_22openalex-snapshot
Unknown Probabilities, Bayesianism, and De Finetti’s Representation Theorem
inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_2openalex-snapshot
Alternatives to Standard First-Order Semantics
inferred← citeshttps://doi.org/10.1007/978-94-017-0464-9_6openalex-snapshot
Logic as General Rationality: A Survey
inferred← citeshttps://doi.org/10.1007/978-94-017-1586-7_6openalex-snapshot
The Logic of Bayesian Probability
inferred← citeshttps://doi.org/10.1007/978-94-017-3173-7_11openalex-snapshot
Probabilistic Inference and the Concept of Total Evidence
inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8_3openalex-snapshot
Ancient Indian Logic, Pakṣa and Analogy
inferred← citeshttps://doi.org/10.1007/bf00136120openalex-snapshot
A new semantics for first-order logic, multivalent and mostly intensional
inferred← citeshttps://doi.org/10.1007/bf00183201openalex-snapshot
How to apply and justify inductive logic
inferred← citeshttps://doi.org/10.1007/bf00247003openalex-snapshot
On the logic of nonmonotonic conditionals and conditional probabilities
inferred← citeshttps://doi.org/10.1007/bf00258439openalex-snapshot
Belief-theoretic formal semantics for first-order logic and probability
inferred← citeshttps://doi.org/10.1007/bf00263317openalex-snapshot
A truth-functional logic for near-universal generalizations
inferred← citeshttps://doi.org/10.1007/bf00293430openalex-snapshot
A ?definitive? probabilistic semantics for first-order logic
inferred← citeshttps://doi.org/10.1007/bf00485943openalex-snapshot
Continuity and idealizability of approximate generalizations
inferred← citeshttps://doi.org/10.1007/bf00881836openalex-snapshot
A semantical framework for supporting subjective and conditional probabilities in deductive databases
inferred← citeshttps://doi.org/10.1007/bf01073959openalex-snapshot
On the question of quantitative characteristics of logical formulas
inferred← citeshttps://doi.org/10.1007/bf01960547openalex-snapshot
Measures on cylindric algebras
inferred← citeshttps://doi.org/10.1007/s00153-012-0319-2openalex-snapshot
Generalized Bosbach states: part I
inferred← citeshttps://doi.org/10.1007/s00153-013-0339-6openalex-snapshot
Generalized Bosbach states: Part II
inferred← citeshttps://doi.org/10.1007/s00153-017-0535-xopenalex-snapshot
A logic for arguing about probabilities in measure teams
inferred← citeshttps://doi.org/10.1007/s001530050125openalex-snapshot
0-1 laws for recursive structures
inferred← citeshttps://doi.org/10.1007/s00500-013-1054-2openalex-snapshot
Relative negations in non-commutative fuzzy structures
inferred← citeshttps://doi.org/10.1007/s10670-013-9546-0openalex-snapshot
The Counterpart Principle of Analogical Support by Structural Similarity
inferred← citeshttps://doi.org/10.1007/s10670-013-9586-5openalex-snapshot
A Continuum-Valued Logic of Degrees of Probability
inferred← citeshttps://doi.org/10.1007/s10670-016-9825-7openalex-snapshot
Combining Analogical Support in Pure Inductive Logic
inferred← citeshttps://doi.org/10.1007/s10670-024-00815-6openalex-snapshot
Discovering Maximum Entropy Knowledge
inferred← citeshttps://doi.org/10.1007/s10849-011-9143-zopenalex-snapshot
Symmetry in Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1007/s10992-005-9003-xopenalex-snapshot
A Continuum of Inductive Methods Arising from a Generalized Principle of Instantial Relevance
inferred← citeshttps://doi.org/10.1007/s10992-007-9066-yopenalex-snapshot
A Note on Binary Inductive Logic
inferred← citeshttps://doi.org/10.1007/s10992-008-9093-3openalex-snapshot
Atom Exchangeability and Instantial Relevance
inferred← citeshttps://doi.org/10.1007/s10992-010-9154-2openalex-snapshot
A Note on Irrelevance in Inductive Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09680-6openalex-snapshot
Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic
inferred← citeshttps://doi.org/10.1007/s10994-006-5831-3openalex-snapshot
PRL: A probabilistic relational language
inferred← citeshttps://doi.org/10.1007/s11225-008-9140-7openalex-snapshot
Some Aspects of Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1007/s11225-010-9233-yopenalex-snapshot
States on Polyadic MV-algebras
inferred← citeshttps://doi.org/10.1007/s11225-016-9684-xopenalex-snapshot
Equivocation Axiom on First Order Languages
inferred← citeshttps://doi.org/10.1007/s11225-020-09912-3openalex-snapshot
The Entropy-Limit (Conjecture) for $$\Sigma _2$$-Premisses
inferred← citeshttps://doi.org/10.1007/s11229-004-6153-2openalex-snapshot
A Logic For Inductive Probabilistic Reasoning
inferred← citeshttps://doi.org/10.1007/s11229-006-9135-8openalex-snapshot
Logic with numbers
inferred← citeshttps://doi.org/10.1007/s11229-007-9298-yopenalex-snapshot
Objective Bayesianism with predicate languages
inferred← citeshttps://doi.org/10.1007/s11229-009-9711-9openalex-snapshot
A survey of some recent results on Spectrum Exchangeability in Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1007/s11229-011-9995-4openalex-snapshot
Modelling uncertain inference
inferred← citeshttps://doi.org/10.1007/s11229-014-0444-zopenalex-snapshot
Probabilities defined on standard and non-standard cylindric set algebras
inferred← citeshttps://doi.org/10.1007/s11787-024-00359-xopenalex-snapshot
A Logical Consequence Informed by Probability
inferred← citeshttps://doi.org/10.1007/s11787-025-00394-2openalex-snapshot
Forcing with Invariant Measures
inferred← citeshttps://doi.org/10.1016/0003-4843(80)90014-5openalex-snapshot
Almost sure theories
inferred← citeshttps://doi.org/10.1016/0004-3702(90)90019-vopenalex-snapshot
An analysis of first-order logics of probability
inferred← citeshttps://doi.org/10.1016/0012-365x(85)90112-8openalex-snapshot
On random models of finite power and monadic logic
inferred← citeshttps://doi.org/10.1016/0020-0255(87)90023-5openalex-snapshot
An algebraic synthesis of the foundations of logic and probability
inferred← citeshttps://doi.org/10.1016/0022-0000(84)90065-5openalex-snapshot
A probabilistic dynamic logic
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90218-iopenalex-snapshot
Finite-model theory - a personal perspective
inferred← citeshttps://doi.org/10.1016/0890-5401(88)90032-6openalex-snapshot
The computational complexity of asymptotic problems I: Partial orders
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90060-uopenalex-snapshot
A logic for reasoning about probabilities
inferred← citeshttps://doi.org/10.1016/0890-5401(92)90021-7openalex-snapshot
Infinitary logics and 0–1 laws
inferred← citeshttps://doi.org/10.1016/0890-5401(92)90061-jopenalex-snapshot
Probabilistic logic programming
inferred← citeshttps://doi.org/10.1016/b978-0-444-51555-1.50016-xopenalex-snapshot
PHILOSOPHIES OF PROBABILITY
inferred← citeshttps://doi.org/10.1016/b978-0-444-51862-0.50010-1openalex-snapshot
Confirmation Theory
inferred← citeshttps://doi.org/10.1016/b978-0-444-51862-0.50012-5openalex-snapshot
Bayesianism as a Pure Logic of Inference
inferred← citeshttps://doi.org/10.1016/b978-0-444-88650-7.50022-6openalex-snapshot
On Probability Distributions Over Possible Worlds
inferred← citeshttps://doi.org/10.1016/b978-0-444-88650-7.50029-9openalex-snapshot
Probabilistic Inference and Non-Monotonic Inference
inferred← citeshttps://doi.org/10.1016/b978-0-444-88738-2.50008-7openalex-snapshot
Lp—A Logic for Statistical Information
inferred← citeshttps://doi.org/10.1016/j.apal.2009.06.010openalex-snapshot
A characterization of the Language Invariant families satisfying Spectrum Exchangeability in Polyadic Inductive Logic
inferred← citeshttps://doi.org/10.1016/j.apal.2013.06.013openalex-snapshot
An Analogy Principle in Inductive Logic
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102870openalex-snapshot
Towards the entropy-limit conjecture
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102875openalex-snapshot
Probabilistic characterisation of models of first-order theories
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103714openalex-snapshot
A decidable class of inferences in first-order objective Bayesian inductive logic
inferred← citeshttps://doi.org/10.1016/j.artint.2004.04.003openalex-snapshot
Combining probabilistic logic programming with the power of maximum entropy
inferred← citeshttps://doi.org/10.1016/j.artint.2010.04.016openalex-snapshot
The well-designed logical robot: Learning and experience from observations to the Situation Calculus
inferred← citeshttps://doi.org/10.1016/j.artint.2018.06.003openalex-snapshot
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2007.08.005openalex-snapshot
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
inferred← citeshttps://doi.org/10.1016/j.ijar.2009.04.011openalex-snapshot
Automated compilation of Object-Oriented Probabilistic Relational Models
inferred← citeshttps://doi.org/10.1016/j.ijar.2009.07.001openalex-snapshot
Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic
inferred← citeshttps://doi.org/10.1016/j.ijar.2019.04.003openalex-snapshot
The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws
inferred← citeshttps://doi.org/10.1016/j.ijar.2022.11.016openalex-snapshot
Rules of proof for maximal entropy inference
inferred← citeshttps://doi.org/10.1016/j.jal.2007.11.003openalex-snapshot
Can logic be combined with probability? Probably
inferred← citeshttps://doi.org/10.1016/j.jal.2013.03.003openalex-snapshot
Probabilities on Sentences in an Expressive Logic
inferred← citeshttps://doi.org/10.1016/j.jal.2013.07.006openalex-snapshot
Infinity and verifiability in Carnapʼs inductive logic
inferred← citeshttps://doi.org/10.1016/j.jal.2014.07.002openalex-snapshot
Second order inductive logic and Wilmers' principle
inferred← citeshttps://doi.org/10.1016/j.jal.2015.06.002openalex-snapshot
An examination of the SEP candidate analogical inference rule within pure inductive logic
inferred← citeshttps://doi.org/10.1016/j.jal.2015.11.002openalex-snapshot
The principle of signature exchangeability
inferred← citeshttps://doi.org/10.1016/j.knosys.2020.105976openalex-snapshot
Abstracting probabilistic models: Relations, constraints and beyond
inferred← citeshttps://doi.org/10.1016/j.procs.2021.08.151openalex-snapshot
Digitalization of Propositional Algebra and NPC
inferred← citeshttps://doi.org/10.1016/s0019-9958(83)80043-6openalex-snapshot
Complexity of the first-order theory of almost all finite structures
inferred← citeshttps://doi.org/10.1016/s0019-9958(85)80027-9openalex-snapshot
A zero-one law for logic with a fixed-point operator
inferred← citeshttps://doi.org/10.1016/s0020-7373(77)80042-4openalex-snapshot
The fuzzy decade: a bibliography of fuzzy systems and closely related topics
inferred← citeshttps://doi.org/10.1016/s0020-7373(81)80016-8openalex-snapshot
Formal systems for mechanized statistical inference
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71662-8openalex-snapshot
Probabilistic Inference and the Concept of Total Evidence
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71672-0openalex-snapshot
Assigning Probabilities to Logical Formulas
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70421-5openalex-snapshot
Hyperpinite Model Theory
inferred← citeshttps://doi.org/10.1016/s1570-2464(02)80011-8openalex-snapshot
Probability logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80008-5openalex-snapshot
5 Model theory of modal logic
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00011-9openalex-snapshot
Probability and logic
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00012-0openalex-snapshot
The emergence of reasons conjecture
inferred← citeshttps://doi.org/10.1017/cbo9781107326194openalex-snapshot
Pure Inductive Logic
inferred← citeshttps://doi.org/10.1017/fms.2016.15openalex-snapshot
INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
inferred← citeshttps://doi.org/10.1017/jsl.2017.49openalex-snapshot
PURE INDUCTIVE LOGIC WITH FUNCTIONS
inferred← citeshttps://doi.org/10.1017/jsl.2024.46openalex-snapshot
ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS
inferred← citeshttps://doi.org/10.1017/s0022481200051756openalex-snapshot
Probabilities on finite models
inferred← citeshttps://doi.org/10.1017/s1471068400001058openalex-snapshot
On a theory of probabilistic deductive databases
inferred← citeshttps://doi.org/10.1017/s1755020313000063openalex-snapshot
MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
inferred← citeshttps://doi.org/10.1017/s1755020314000331openalex-snapshot
THE THEORY OF SPECTRUM EXCHANGEABILITY
inferred← citeshttps://doi.org/10.1017/s1755020322000235openalex-snapshot
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
inferred← citeshttps://doi.org/10.1023/a:1004264305582openalex-snapshot
On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic
inferred← citeshttps://doi.org/10.1023/a:1004754819280openalex-snapshot
Probability Semantics for Quantifier Logic
inferred← citeshttps://doi.org/10.1023/a:1013121110704openalex-snapshot
A data model and algebra for probabilistic complex values
inferred← citeshttps://doi.org/10.1023/a:1015010508180openalex-snapshot
Some Observations on Induction in Predicate Probabilistic Reasoning
inferred← citeshttps://doi.org/10.1023/b:synt.0000029944.99888.a7openalex-snapshot
Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements
inferred← citeshttps://doi.org/10.1063/1.522736openalex-snapshot
Foundations of a quantum probability theory
inferred← citeshttps://doi.org/10.1080/01445340600920202openalex-snapshot
Quantifier probability logic and the confirmation paradox
inferred← citeshttps://doi.org/10.1080/01445349108837177openalex-snapshot
Probability logic in the twentieth century
inferred← citeshttps://doi.org/10.1080/05568647809506485openalex-snapshot
ON THE PROBABILITY OF SENTENCES
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1970.495772openalex-snapshot
Unknown Probabilities, Bayesianism, and de Finetti's Representation Theorem
inferred← citeshttps://doi.org/10.1090/s0002-9947-1985-0768725-2openalex-snapshot
Probabilities of First-Order Sentences about Unary Functions
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.001.0001openalex-snapshot
Quitting Certainties: A Bayesian Framework Modeling Degrees of Belief
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.002.0004openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.002.0007openalex-snapshot
List of Abbreviations and Symbols
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.002.0008openalex-snapshot
CLF Quick Reference
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.002.0009openalex-snapshot
List of Tables
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0001openalex-snapshot
1 Introduction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0002openalex-snapshot
2 Models and norms
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0003openalex-snapshot
3 The modeling framework and what models represent
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0004openalex-snapshot
4 Applying CLF models to stories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0005openalex-snapshot
5 Three common objections to Bayesian frameworks
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0006openalex-snapshot
6 Generalized Conditionalization
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0007openalex-snapshot
7 Suppositional consistency
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0008openalex-snapshot
8 The Proper Expansion Principle
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0009openalex-snapshot
9 Applying (PEP)
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0010openalex-snapshot
10 Alternative updating schemes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0011openalex-snapshot
11 Indifference principles and quantum mechanics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0012openalex-snapshot
12 A few loose ends
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.003.0013openalex-snapshot
13 The advantages of modeling
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0001openalex-snapshot
Chapter 3 proofs
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0002openalex-snapshot
Chapter 4 proofs
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0003openalex-snapshot
Chapter 6 Proofs
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0004openalex-snapshot
Chapter 7 proofs
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0005openalex-snapshot
Chapter 8 proofs
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199658305.005.0006openalex-snapshot
Chapter 9 proofs
inferred← citeshttps://doi.org/10.1093/bjps/axm042openalex-snapshot
De Finetti, Countable Additivity, Consistency and Coherence
inferred← citeshttps://doi.org/10.1093/jigpal/6.4.601openalex-snapshot
Computational model theory: an overview
inferred← citeshttps://doi.org/10.1093/jigpal/jzm028openalex-snapshot
Maximum Entropy Inference with Quantified Knowledge
inferred← citeshttps://doi.org/10.1093/jigpal/jzp025openalex-snapshot
Extended semantics and inference for the Independent Choice Logic
showing the first 200 of 255 · page through all 255
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.