Quantifying over events in probability logic: an introduction

DOI10.1017/S0960129516000189MaRDI QIDQ4593244zbMATH OpenOpenAlexFDO

Authors S. O. Speranskij

Publication date 22 November 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129516000189

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Complexity for probability logic with quantifiers over propositions
• A logic for reasoning about qualitative probability
• Some probability logics with new types of probability operators
• On classical logic with probability operators: a short survey
• Some first-order probability logics

Cites work

• A logic for reasoning about probabilities
• A note on definability in fragments of arithmetic with free unary predicates
• Collapsing probabilistic hierarchies. I
• Complexity for probability logic with quantifiers over propositions
• Decidability and expressiveness for first-order logics of probability
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Probabilistic Logic and Induction
• Probability logic
• Quantification over propositional formulas in probability logic: decidability issues
• Reducing belief simpliciter to degrees of belief
• Some new results on decidability for elementary algebra and geometry
• Subsystems of second order arithmetic
• The Oxford handbook of probability and philosophy
• Undecidable fragments of elementary theories

Cited in

(14)

• Probability semantics for quantifier logic
• New applications of relational event algebra to fuzzy quantification and probabilistic reasoning
• Complexity for probability logic with quantifiers over propositions
• Elementary probability theory in the Eindhoven style
• Golden Events and Statistics: What's Wrong with Galison's Image/Logic Distinction?
• Is there a probability theory of many-valued events?
• Simulation and Information: Quantifying over Epistemic Events
• Some probability logics with new types of probability operators
• On the descriptive power of probability logic
• Elementary invariants for quantified probability logic
• IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
• An `elementary' perspective on reasoning about probability spaces
• Sharpening complexity results in quantified probability logic
• On the decision problem for quantified probability logics

This page was built for publication: Quantifying over events in probability logic: an introduction

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