Some first-order probability logics

DOI10.1016/S0304-3975(98)00341-7zbMATH Open0954.03024WikidataQ126778482 ScholiaQ126778482MaRDI QIDQ1583250

Zoran Ognjanović, Miodrag Rašković

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilitycompletenessfirst-order logicpossible worlds

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• 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
• Decidability and expressiveness for first-order logics of probability
• Some considerations on the logics P_FD A logic combining modality and probability
• Probability logic
• 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 (33)

• Qualitative Possibilities and Necessities
• 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
• Speeding up parameter and rule learning for acyclic probabilistic logic programs
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Title not available (Why is that?)
• Probability logics for reasoning about quantum observations
• Probabilistic Justification Logic
• 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
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• 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
• Probability logic of finitely additive beliefs
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• Logics with lower and upper probability operators
• Probabilistic sentence satisfiability: an approach to PSAT
• Regression and progression in stochastic domains
• Probabilistic Common Knowledge Among Infinite Number of Agents

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)