Some first-order probability logics
From MaRDI portal
Publication:1583250
DOI10.1016/S0304-3975(98)00341-7zbMATH Open0954.03024WikidataQ126778482 ScholiaQ126778482MaRDI QIDQ1583250FDOQ1583250
Authors: Zoran Ognjanović, Miodrag Rašković 
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Title not available (Why is that?)
- Reasoning about knowledge and probability
- A logic for reasoning about probabilities
- An analysis of first-order logics of probability
- Some probability logics with new types of probability operators
- Title not available (Why is that?)
- Decidability and expressiveness for first-order logics of probability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some considerations on the logics PFD A logic combining modality and probability
- Title not available (Why is that?)
- Probability logic
- Title not available (Why is that?)
- The relationship between knowledge, belief, and certainty
- The Undecidability of Monadic Modal Quantification Theory
- From worlds to probabilities: A probabilistic semantics for modal logic
Cited In (47)
- Decidability and expressiveness for first-order logics of probability
- Qualitative Possibilities and Necessities
- Title not available (Why is that?)
- Knowing-how under uncertainty
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- A logic with approximate conditional probabilities that can model default reasoning
- A first-order probabilistic logic with approximate conditional probabilities
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
- Probabilistic justification logic
- Probability logics for reasoning about quantum observations
- Probabilistic characterisation of models of first-order theories
- A first-order conditional probability logic
- A \(p\)-adic probability logic
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- Towards classifying propositional probabilistic logics
- Quantifying over events in probability logic: an introduction
- A first-order logic for reasoning about higher-order upper and lower probabilities
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- An analysis of first-order logics of probability
- Title not available (Why is that?)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- Adelic uncertainty logic
- Logics with Probability Operators
- Automated non-monotonic reasoning in System \textbf{P}
- A logic of interactive proofs
- Hierarchies of probabilistic logics
- Reasoning About Degrees of Confirmation
- Title not available (Why is that?)
- The logic ILP for intuitionistic reasoning about probability
- A First-order Logic for Reasoning about Knowledge and Probability
- \(p\)-adic probability logics
- Title not available (Why is that?)
- Probability logic of finitely additive beliefs
- How to Restore Compactness into Probabilistic Logics?
- Interpolative Boolean Logic
- Logics with lower and upper probability operators
- The probability nesting game
- Probabilistic sentence satisfiability: an approach to PSAT
- Regression and progression in stochastic domains
- On the descriptive power of probability logic
- On classical logic with probability operators: a short survey
- Probabilities on first order models
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Probability logics with vector-valued measures
This page was built for publication: Some first-order probability logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583250)
