A semantics for persistency in propositional dynamic logic

Jan Broersen, Roelf J. Wieringa, John-Jules Meyer

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    1 Citation (Scopus)

    Abstract

    This paper defines a minimal change semantics for PDL, that is based on minimization over a change ordering of labeled Kripke models. The definition of the change ordering has some striking resemblances with the notion of bisimulation. The minimal change semantics for PDL is shown to behave correctly in case of the notorious Yale shooting and stolen car example scenarios.
    Original languageUndefined
    Title of host publicationFirst International Conference on Computational Logic (CL2000)
    EditorsJohn Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
    Place of PublicationBerlin/Heidelberg, Germany
    PublisherSpringer
    Pages912-925
    Number of pages14
    ISBN (Print)978-3-540-67797-0
    DOIs
    Publication statusPublished - Jul 2000
    EventFirst International Conference on Computational Logic, CL 2000 - London, UK
    Duration: 24 Jul 200028 Jul 2000

    Publication series

    NameLecture Notes in Artificial Intelligence
    PublisherSpringer
    Volume1861
    ISSN (Print)0302-9743

    Conference

    ConferenceFirst International Conference on Computational Logic, CL 2000
    Period24/07/0028/07/00
    OtherJuly 24-28, 2000

    Keywords

    • SCS-Services
    • METIS-119641
    • IR-61814
    • EWI-10553

    Cite this