19 citations · 28 across the 6 of their papers we have counts for
1 paper · 2 filters
Bryan Renne, Joshua Sack, Audrey Yap
We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations a…