A Temporal Epistemic Logic with a Reset Operation
Alessio Lomuscio
Department of Computing, Imperial College London
180 Queen's Gate London SW7 2BZ, United Kingdom
Bożena Woźna
Institute of Computer Science, Jan Długosz University
Al. Armii Krajowej 13/15 42-200 Częstochowa, Poland
ABSTRACT
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.
pdflogo.jpg
AAMAS07_0023_3975a9b7ae1d6833b097de96c3319583