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.

    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.

    Metadata

    Item Type: Conference or Workshop Item (Paper)
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Administrator
    Date Deposited: 01 Apr 2011 11:20
    Last Modified: 09 Aug 2023 12:30
    URI: https://eprints.bbk.ac.uk/id/eprint/3244

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    227Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item