Sciweavers

Share
ATAL
2007
Springer

A temporal epistemic logic with a reset operation

9 years 4 months ago
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
Alessio Lomuscio, Bozena Wozna
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ATAL
Authors Alessio Lomuscio, Bozena Wozna
Comments (0)
books