TY - CPAPER AB - We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic "reset" operator defined on the intersection between epistemic and temporal relations. Additionally we show the logic has the finite model property, hence it is decidable. © 2007 IFAAMAS. AU - Lomuscio,A AU - Wona,B DO - 10.1145/1329125.1329302 EP - 581 PY - 2007/// SP - 574 TI - A temporal epistemic logic with a reset operation UR - http://dx.doi.org/10.1145/1329125.1329302 ER -