Pages that link to "Item:Q3655200"
From MaRDI portal
The following pages link to Taming the Complexity of Temporal Epistemic Reasoning (Q3655200):
Displaying 5 items.
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Q5213396) (← links)