BIROn - Birkbeck Institutional Research Online

    Temporalising logics: fifteen years after

    Zakharyaschev, Michael (2007) Temporalising logics: fifteen years after. In: Konev, B. and Wolter, F. (eds.) FroCoS 2007: Frontiers of Combining Systems, 6th International Symposium. Lecture Notes in Computer Science 4720. Springer, p. 72. ISBN 9783540746201.

    Full text not available from this repository.


    A straightforward way of adding a temporal dimension to a logical system is to combine it with a suitable temporal logic. Typical examples are first-order temporal logic [3], temporal description logics [1] or spatio-temporal logics [4]. In 1992, Finger and Gabbay [2] started an investigation of possible ways of temporalising abstract logical systems.


    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 25 Oct 2021 16:39
    Last Modified: 25 Oct 2021 16:39


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item