Logics with Probability Operators

DOI10.1007/978-3-030-52954-3_1OpenAlexW3043402743MaRDI QIDQ5024712FDOQ5024712

Authors: Zoran Ognjanović, Angelina Ilić-Stepić 

Publication date: 27 January 2022

Published in: Probabilistic Extensions of Various Logical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-52954-3_1

Recommendations

• Probability logics. Probability-based formalization of uncertain reasoning
• Some New Probability Operators
• Logics with lower and upper probability operators
• Probability logics
• Some first-order probability logics

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Probabilistic logic
• A linear programming approach to reasoning about probabilities
• Concerning measures in first order calculi
• Title not available (Why is that?)
• A completeness theorem in modal logic
• Column Generation Methods for Probabilistic Logic
• Interactive epistemology. II: Probability
• Reasoning about knowledge and probability
• Probability logic for type spaces
• A logic for reasoning about probabilities
• Title not available (Why is that?)
• An analysis of first-order logics of probability
• Some first-order probability logics
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• A logic with approximate conditional probabilities that can model default reasoning
• A first-order conditional probability logic
• A \(p\)-adic probability logic
• A first-order conditional probability logic with iterations
• Probability logics
• \(p\)-adic probability logics
• A logic with higher order conditional probabilities
• Measure Logic
• Some probability logics with new types of probability operators
• Title not available (Why is that?)
• A probabilistic extension of intuitionistic logic
• Conditional \(p\)-adic probability logic
• A logic for reasoning about qualitative probability
• Completeness theorem for a logic with imprecise and conditional probabilities
• Logics with the Qualitative Probability Operator
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Title not available (Why is that?)
• Probability logic
• Anytime deduction for probabilistic logic
• Probabilistic logics with independence and confirmation
• Probability logics. Probability-based formalization of uncertain reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Modal operators with probabilistic interpretations. I
• Title not available (Why is that?)
• Some considerations on the logics P_FD A logic combining modality and probability
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• A Probabilistic Logic with Polynomial Weight Formulas
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• An infinitary probability logic for type spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic satisfiability
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• How to Restore Compactness into Probabilistic Logics?
• Probability logic
• Title not available (Why is that?)
• Logic with a probability semantics. Including solutions to some philosophical problems
• A propositional dynamic logic with qualitative probabilities
• Probability logic
• Title not available (Why is that?)
• Completeness theorem for biprobability models
• A model existence theorem in infinitary propositional modal logic
• Probabilistic logic revisited
• Title not available (Why is that?)
• Axiomatizing the logic of comparative probability
• A completeness proof for an infinitary tense-logic
• A decidable multi-agent logic with iterations of upper and lower probability operators
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Justification logic with approximate conditional probabilities
• A logic with conditional probability operators
• An intuitionistic logic with probabilistic operators
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• First steps towards probabilistic justification logic
• Probabilistic logics for objects located in space and time
• A First-order Logic for Reasoning about Knowledge and Probability
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
• Title not available (Why is that?)
• Logics with lower and upper probability operators
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Title not available (Why is that?)
• Probabilistic justification logic
• Complex valued probability logics
• Title not available (Why is that?)
• Handbook of defeasible reasoning and uncertainty management systems. Vol. 5: Algorithms for uncertainty and defeasible reasoning
• Logics with generalized measure operators
• Completeness Theorem for Singular Biprobability Models
• Barwise Completeness Theorems for Some Biprobability Logics
• The emergence of probability. A philosophical study of early ideas about probability, induction and statistical inference
• Title not available (Why is that?)

Cited In (2)

• A first-order conditional probability logic
• Justification Logics with Probability Operators

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)