Axiomatizations for temporal epistemic logic with perfect recall over linear time
Mikulás, Szabolcs and Reynolds, Mark and French, Tim (2009) Axiomatizations for temporal epistemic logic with perfect recall over linear time. In: 16th International Symposium on Temporal Representation and Reasoning, 23-25 July 2009, Bressanone-Brixen, Italy.
This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation of different linear flows of time. In particular, we present temporal epistemic logics for each of the following flows of time: arbitrary linear orders; the integers; the rationals; the reals; and for uniform flows of time. (By uniform flows of time, we mean that time is an arbitrary linear order that is common knowledge to all agents). We propose axiomatizations for all logics except the last case, for which we show that no finite axiomatization can be found. The axiomatizations are shown to be sound and complete in the case of arbitrary linear orders and the rationals.
|Item Type:||Conference or Workshop Item (Paper)|
|School:||Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems|
|Date Deposited:||01 Apr 2011 11:20|
|Last Modified:||17 Apr 2013 12:20|
Additional statistics are available via IRStats2.