Pages that link to "Item:Q5213396"
From MaRDI portal
The following pages link to A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Q5213396):
Displayed 5 items.
- A computationally grounded logic of graded belief (Q2055797) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
- Modal and justification logics for multi-agent systems (invited talk) (Q6139081) (← links)