scientific article; zbMATH DE number 988760

MaRDI QIDQ3123584zbMATH OpenFDO

Authors Miodrag Rašković, Zoran Ognjanović

Publication date 3 June 1997

zbMATH Keywords

decision proceduresatisfiability problemaxiom systemreasoning about probabilitiesconservative extension of classical propositional logicmeasurable probabilistic models

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in artificial intelligence (68T27)

Recommendations

• A logic for reasoning about probabilities
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• On probability and logic
• A logic with conditional probability operators

Cited in

(42)

• A logic with conditional probability operators
• Probability and symmetric logic
• A logic to reason about likelihood
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• A logic for reasoning about stochastic information
• The Link Between Probability Functions and Logical Consequence
• Axiomatizing the logic of comparative probability
• A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques
• scientific article; zbMATH DE number 741002 (Why is no real title available?)
• A Logic of Probability with Decidable Model Checking
• Logical perspectives on the foundations of probability
• Can logic be combined with probability? Probably
• scientific article; zbMATH DE number 1849165 (Why is no real title available?)
• From propositional logic to plausible reasoning: a uniqueness theorem
• Applications of Logics About Simple Probabilities
• Probabilistic reasoning in a classical logic
• Probability logic, logical probability, and inductive support
• scientific article; zbMATH DE number 7695591 (Why is no real title available?)
• Probabilistic logic over equations and domain restrictions
• An automated theorem prover for the probability logic LPP
• A Probabilistic Logic with Polynomial Weight Formulas
• Intuitive Probability Logic
• Quantitative logic reasoning
• Towards a probability theory for product logic: states, integral representation and reasoning
• A probabilistic logic based on the acceptability of gambles
• On probability and logic
• A complete deductive system for probability logic
• Inference rules for probability logic
• A logic for reasoning about qualitative probability
• A logic for arguing about probabilities in measure teams
• Intuitionistic propositional probability logic
• scientific article; zbMATH DE number 1948164 (Why is no real title available?)
• scientific article; zbMATH DE number 4016864 (Why is no real title available?)
• Probability logic
• scientific article; zbMATH DE number 940714 (Why is no real title available?)
• A LOGIC FOR UNCERTAIN PROBABILITIES
• scientific article; zbMATH DE number 1014107 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• scientific article; zbMATH DE number 935041 (Why is no real title available?)
• scientific article; zbMATH DE number 3611340 (Why is no real title available?)
• Sequent calculus for classical logic probabilized
• A decision procedure for probability calculus with applications

This page was built for publication:

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