BIROn - Birkbeck Institutional Research Online

    On non-local propositional and local one-variable quantified CTL*

    Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) On non-local propositional and local one-variable quantified CTL*. In: UNSPECIFIED (ed.) TIME-2002: 9th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 2-9. ISBN 978076951474X.

    Full text not available from this repository.


    We prove decidability of 'non local' propositional CTL*, where truth values of atoms may depend on the branch of evaluation. This result is then used to show decidability of the 'weak' one-variable fragment of first-order (local) CTL*, in which all temporal operators and path quantifiers except 'tomorrow' are applicable only to sentences. Various spatio-temporal logics based on combinations of CTL* and RCC-8 can be embedded into this fragment, and so are decidable.


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


    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