Pages that link to "Item:Q4644527"
From MaRDI portal
The following pages link to First steps towards probabilistic justification logic (Q4644527):
Displaying 10 items.
- Justification logic with approximate conditional probabilities (Q1679821) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- Probabilistic justification logic (Q5108025) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)