19 citations · 28 across the 6 of their papers we have counts for
1 paper · 1 filter
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…