A temporal epistemic logic with a reset operation

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. Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic General Terms Theory Keywords Epistemic logic, axiomatisation, decidability

• Type: Conference
• Year: 2007
• Where: ATAL
• Authors: Alessio Lomuscio, Bozena Wozna
• Keywords: ATAL 2007, Epistemic Logic, Keywords Epistemic Logic, Temporal Epistemic Logic