Pages that link to "Item:Q1583250"

The following pages link to Some first-order probability logics (Q1583250):

Displaying 39 items.

• \(p\)-adic probability logics (Q344035) (← links)
• Hierarchies of probabilistic logics (Q465583) (← links)
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm (Q533178) (← links)
• An analysis of first-order logics of probability (Q757340) (← links)
• Decidability and expressiveness for first-order logics of probability (Q1327387) (← links)
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
• The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
• Probability logic of finitely additive beliefs (Q1959219) (← links)
• Speeding up parameter and rule learning for acyclic probabilistic logic programs (Q1999576) (← links)
• Probabilistic characterisation of models of first-order theories (Q2003929) (← links)
• Automated non-monotonic reasoning in System \textbf{P} (Q2043430) (← links)
• A logic of interactive proofs (Q2151405) (← links)
• Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
• Towards classifying propositional probabilistic logics (Q2250552) (← links)
• Probabilistic sentence satisfiability: an approach to PSAT (Q2287193) (← links)
• Knowing-how under uncertainty (Q2289005) (← links)
• Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
• Regression and progression in stochastic domains (Q2303514) (← links)
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers (Q2350218) (← links)
• A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
• Logics with lower and upper probability operators (Q2411262) (← links)
• The probability nesting game (Q2842598) (← links)
• A first-order conditional probability logic (Q2903758) (← links)
• A \(p\)-adic probability logic (Q2910981) (← links)
• Probabilistic Common Knowledge Among Infinite Number of Agents (Q3451209) (← links)
• How to Restore Compactness into Probabilistic Logics? (Q3532477) (← links)
• Interpolative Boolean Logic (Q3534662) (← links)
• Qualitative Possibilities and Necessities (Q3638187) (← links)
• Some probability logics with new types of probability operators (Q4242585) (← links)
• (Q4854393) (← links)
• (Q4963180) (← links)
• Logics with Probability Operators (Q5024712) (← links)
• Reasoning About Degrees of Confirmation (Q5098743) (← links)
• A First-order Logic for Reasoning about Knowledge and Probability (Q5121267) (← links)
• A first-order probabilistic logic with approximate conditional probabilities (Q5172139) (← links)
• Probabilistic Justification Logic (Q5283426) (← links)
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
• Probability logics for reasoning about quantum observations (Q6113689) (← links)
• The logic ILP for intuitionistic reasoning about probability (Q6636376) (← links)