30 research outputs found

    A history based logic for dynamic preference updates

    Get PDF
    History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework

    Directed simulations

    No full text

    Bisimulations for temporal logic

    No full text
    corecore