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.

    Abstract

    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.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 25 Oct 2021 16:39
    Last Modified: 09 Aug 2023 12:52
    URI: https://eprints.bbk.ac.uk/id/eprint/46477

    Statistics

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

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item