Some first-order probability logics
From MaRDI portal
Publication:1583250
Recommendations
Cites work
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 3816010 (Why is no real title available?)
- scientific article; zbMATH DE number 1322225 (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 1122846 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- A logic for reasoning about probabilities
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- An analysis of first-order logics of probability
- Decidability and expressiveness for first-order logics of probability
- From worlds to probabilities: A probabilistic semantics for modal logic
- Probability logic
- Reasoning about knowledge and probability
- Some considerations on the logics PFD A logic combining modality and probability
- Some probability logics with new types of probability operators
- The Undecidability of Monadic Modal Quantification Theory
- The relationship between knowledge, belief, and certainty
Cited in
(47)- Probabilistic sentence satisfiability: an approach to PSAT
- Hierarchies of probabilistic logics
- A first-order conditional probability logic
- Regression and progression in stochastic domains
- A first-order logic for reasoning about higher-order upper and lower probabilities
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- scientific article; zbMATH DE number 1873277 (Why is no real title available?)
- On classical logic with probability operators: a short survey
- A \(p\)-adic probability logic
- Adelic uncertainty logic
- Automated non-monotonic reasoning in System \textbf{P}
- Logics with Probability Operators
- \(p\)-adic probability logics
- A First-order Logic for Reasoning about Knowledge and Probability
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
- Qualitative Possibilities and Necessities
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- Probabilistic characterisation of models of first-order theories
- Reasoning About Degrees of Confirmation
- Logics with lower and upper probability operators
- scientific article; zbMATH DE number 4187137 (Why is no real title available?)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Probabilities on first order models
- Probability logics for reasoning about quantum observations
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Quantifying over events in probability logic: an introduction
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Probability logic of finitely additive beliefs
- scientific article; zbMATH DE number 1873278 (Why is no real title available?)
- scientific article; zbMATH DE number 816222 (Why is no real title available?)
- Probability logics with vector-valued measures
- A logic with approximate conditional probabilities that can model default reasoning
- How to Restore Compactness into Probabilistic Logics?
- Interpolative Boolean Logic
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
- On the descriptive power of probability logic
- The logic ILP for intuitionistic reasoning about probability
- A first-order probabilistic logic with approximate conditional probabilities
- Knowing-how under uncertainty
- Towards classifying propositional probabilistic logics
- An analysis of first-order logics of probability
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- The probability nesting game
- Decidability and expressiveness for first-order logics of probability
- Probabilistic justification logic
- A logic of interactive proofs
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
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)
