Pages that link to "Item:Q1327387"
From MaRDI portal
The following pages link to Decidability and expressiveness for first-order logics of probability (Q1327387):
Displayed 6 items.
- Learning to assign degrees of belief in relational domains (Q1009279) (← links)
- Some first-order probability logics (Q1583250) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- A logic for inductive probabilistic reasoning (Q2576405) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)