BIROn - Birkbeck Institutional Research Online

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.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/TIME.2009.18

Abstract

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 or Research Centre: Birkbeck Schools and Research Centres > School of Business, Economics & Informatics > Computer Science and Information Systems
Depositing User: Administrator
Date Deposited: 01 Apr 2011 11:20
Last Modified: 17 Apr 2013 12:20
URI: http://eprints.bbk.ac.uk/id/eprint/3244

Archive Staff Only (login required)

Edit/View Item Edit/View Item