Some first-order probability logics
From MaRDI portal
Publication:1583250
DOI10.1016/S0304-3975(98)00341-7zbMath0954.03024WikidataQ126778482 ScholiaQ126778482MaRDI QIDQ1583250
Zoran Ognjanović, Miodrag Rašković
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (29)
Probabilistic Justification Logic ⋮ PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT ⋮ Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ A p-adic probability logic ⋮ A logic of interactive proofs ⋮ Unnamed Item ⋮ \(p\)-adic probability logics ⋮ Logics with lower and upper probability operators ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ Reasoning About Degrees of Confirmation ⋮ Probability logics for reasoning about quantum observations ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Probability logic of finitely additive beliefs ⋮ Interpolative Boolean Logic ⋮ Hierarchies of probabilistic logics ⋮ Towards classifying propositional probabilistic logics ⋮ Speeding up parameter and rule learning for acyclic probabilistic logic programs ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Probabilistic sentence satisfiability: an approach to PSAT ⋮ Knowing-how under uncertainty ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Regression and progression in stochastic domains ⋮ Qualitative Possibilities and Necessities ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers ⋮ Logics with Probability Operators
Cites Work
- An analysis of first-order logics of probability
- Decidability and expressiveness for first-order logics of probability
- The relationship between knowledge, belief, and certainty
- A logic for reasoning about probabilities
- From worlds to probabilities: A probabilistic semantics for modal logic
- The Undecidability of Monadic Modal Quantification Theory
- 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
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Some first-order probability logics
