Logics with Probability Operators
From MaRDI portal
Publication:5024712
DOI10.1007/978-3-030-52954-3_1OpenAlexW3043402743MaRDI QIDQ5024712
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
Cites Work
- \(p\)-adic probability logics
- Conditional \(p\)-adic probability logic
- An analysis of first-order logics of probability
- Probability logic
- Axiomatizing the logic of comparative probability
- Probabilistic logic
- Modal operators with probabilistic interpretations. I
- Probabilistic satisfiability
- A model existence theorem in infinitary propositional modal logic
- Anytime deduction for probabilistic logic
- A linear programming approach to reasoning about probabilities
- Some first-order probability logics
- A decidable multi-agent logic with iterations of upper and lower probability operators
- Justification logic with approximate conditional probabilities
- Probabilistic logics with independence and confirmation
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- Interactive epistemology. II: Probability
- A logic for reasoning about probabilities
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- An infinitary probability logic for type spaces
- A propositional dynamic logic with qualitative probabilities
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- 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
- Logics with lower and upper probability operators
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- Concerning measures in first order calculi
- Probabilistic logic revisited
- Probability Logics
- A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
- A first-order conditional probability logic
- A p-adic probability logic
- A logic with conditional probability operators
- A first-order conditional probability logic with iterations
- Complex valued probability logics
- Completeness theorem for biprobability models
- A completeness theorem in modal logic
- Probabilistic Common Knowledge Among Infinite Number of Agents
- A logic with higher order conditional probabilities
- Measure Logic
- How to Restore Compactness into Probabilistic Logics?
- Completeness Theorem for Singular Biprobability Models
- Column Generation Methods for Probabilistic Logic
- A completeness proof for an infinitary tense-logic
- Probability logic
- Some probability logics with new types of probability operators
- Reasoning about knowledge and probability
- Some considerations on the logics PFD A logic combining modality and probability
- A probabilistic extension of intuitionistic logic
- First steps towards probabilistic justification logic
- Barwise Completeness Theorems for Some Biprobability Logics
- An intuitionistic logic with probabilistic operators
- Probabilistic justification logic
- A First-order Logic for Reasoning about Knowledge and Probability
- Probabilistic logics for objects located in space and time
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Logics in Artificial Intelligence
- A logic for reasoning about qualitative probability
- A Probabilistic Logic with Polynomial Weight Formulas
- Completeness theorem for a logic with imprecise and conditional probabilities
- Logics with the Qualitative Probability Operator
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
- Probability logic
- Probability logic for type spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Logics with Probability Operators