Rice Univesrity Logo
    • FAQ
    • Deposit your work
    • Login
    View Item 
    •   Rice Scholarship Home
    • Faculty & Staff Research
    • Faculty Publications
    • View Item
    •   Rice Scholarship Home
    • Faculty & Staff Research
    • Faculty Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Linear Temporal Logic and Linear Dynamic Logic on Finite Traces

    Thumbnail
    Name:
    ijcai13.pdf
    Size:
    224.3Kb
    Format:
    PDF
    View/Open
    Author
    De Giacomo, Giuseppe; Vardi, Moshe Y.
    Date
    2013
    Abstract
    In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at essentially no computational cost one can make a significant increase in expressiveness while maintaining the same intuitiveness of LTLf. Indeed, we propose a logic, LDLf for Linear Dynamic Logic over finite traces, which borrows the syntax from Propositional Dynamic Logic (PDL), but is interpreted over finite traces. Satisfiability, validity and logical implication (as well as model checking) for LTLf. are PSPACE-complete as for LTLf. (and LTL).
    Citation
    De Giacomo, Giuseppe and Vardi, Moshe Y.. "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces." IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, (2013) Association for Computing Machinery: 854-860. https://hdl.handle.net/1911/78495.
    Type
    Conference paper
    Publisher
    Association for Computing Machinery
    Citable link to this page
    https://hdl.handle.net/1911/78495
    Rights
    This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by the Association for Computing Machinery.
    Metadata
    Show full item record
    Collections
    • Computer Science Publications [134]
    • Faculty Publications [4990]

    Home | FAQ | Contact Us | Privacy Notice | Accessibility Statement
    Managed by the Digital Scholarship Services at Fondren Library, Rice University
    Physical Address: 6100 Main Street, Houston, Texas 77005
    Mailing Address: MS-44, P.O.BOX 1892, Houston, Texas 77251-1892
    Site Map

     

    Searching scope

    Browse

    Entire ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeThis CollectionBy Issue DateAuthorsTitlesSubjectsType

    My Account

    Login

    Statistics

    View Usage Statistics

    Home | FAQ | Contact Us | Privacy Notice | Accessibility Statement
    Managed by the Digital Scholarship Services at Fondren Library, Rice University
    Physical Address: 6100 Main Street, Houston, Texas 77005
    Mailing Address: MS-44, P.O.BOX 1892, Houston, Texas 77251-1892
    Site Map