Epistemic Logic of Crash Failures

סקירה כללית

Explore epistemic logic for distributed systems with crash failures using three-valued semantics and impure simplicial complexes to model agent knowledge and uncertainty.

---

נושאים

Artificial Intelligence