Logics with Probability Operators
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 5282975 (Why is no real title available?)
- scientific article; zbMATH DE number 3928978 (Why is no real title available?)
- scientific article; zbMATH DE number 3657792 (Why is no real title available?)
- scientific article; zbMATH DE number 1322225 (Why is no real title available?)
- scientific article; zbMATH DE number 1337624 (Why is no real title available?)
- scientific article; zbMATH DE number 591047 (Why is no real title available?)
- scientific article; zbMATH DE number 1028834 (Why is no real title available?)
- scientific article; zbMATH DE number 1095142 (Why is no real title available?)
- scientific article; zbMATH DE number 1123884 (Why is no real title available?)
- scientific article; zbMATH DE number 1122846 (Why is no real title available?)
- scientific article; zbMATH DE number 1505462 (Why is no real title available?)
- scientific article; zbMATH DE number 1844518 (Why is no real title available?)
- scientific article; zbMATH DE number 1862467 (Why is no real title available?)
- scientific article; zbMATH DE number 1873277 (Why is no real title available?)
- scientific article; zbMATH DE number 5790393 (Why is no real title available?)
- scientific article; zbMATH DE number 3321248 (Why is no real title available?)
- scientific article; zbMATH DE number 3353239 (Why is no real title available?)
- A First-order Logic for Reasoning about Knowledge and Probability
- A Probabilistic Logic with Polynomial Weight Formulas
- A \(p\)-adic probability logic
- A completeness proof for an infinitary tense-logic
- A completeness theorem in modal logic
- A decidable multi-agent logic with iterations of upper and lower probability operators
- A first-order conditional probability logic
- A first-order conditional probability logic with iterations
- A linear programming approach to reasoning about probabilities
- A logic for reasoning about probabilities
- A logic for reasoning about qualitative probability
- A logic with approximate conditional probabilities that can model default reasoning
- A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
- A logic with conditional probability operators
- A logic with higher order conditional probabilities
- A model existence theorem in infinitary propositional modal logic
- A probabilistic extension of intuitionistic logic
- A propositional dynamic logic with qualitative probabilities
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- An analysis of first-order logics of probability
- An infinitary probability logic for type spaces
- An intuitionistic logic with probabilistic operators
- Anytime deduction for probabilistic logic
- Axiomatizing the logic of comparative probability
- Barwise Completeness Theorems for Some Biprobability Logics
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Column Generation Methods for Probabilistic Logic
- Completeness Theorem for Singular Biprobability Models
- Completeness theorem for a logic with imprecise and conditional probabilities
- Completeness theorem for biprobability models
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- Complex valued probability logics
- Concerning measures in first order calculi
- Conditional \(p\)-adic probability logic
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
- First steps towards probabilistic justification logic
- Handbook of defeasible reasoning and uncertainty management systems. Vol. 5: Algorithms for uncertainty and defeasible reasoning
- How to Restore Compactness into Probabilistic Logics?
- Interactive epistemology. II: Probability
- Justification logic with approximate conditional probabilities
- Logic with a probability semantics. Including solutions to some philosophical problems
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- Logics in Artificial Intelligence
- Logics with generalized measure operators
- Logics with lower and upper probability operators
- Logics with the Qualitative Probability Operator
- Measure Logic
- Modal operators with probabilistic interpretations. I
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Probabilistic justification logic
- Probabilistic logic
- Probabilistic logic revisited
- Probabilistic logics for objects located in space and time
- Probabilistic logics with independence and confirmation
- Probabilistic satisfiability
- Probability logic
- Probability logic
- Probability logic
- Probability logic for type spaces
- Probability logics
- Probability logics. Probability-based formalization of uncertain reasoning
- Reasoning about knowledge and probability
- Some considerations on the logics PFD A logic combining modality and probability
- Some first-order probability logics
- Some probability logics with new types of probability operators
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- The emergence of probability. A philosophical study of early ideas about probability, induction and statistical inference
- \(p\)-adic probability logics
Cited in
(3)
This page was built for publication: Logics with Probability Operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5024712)
