A Fixed-point Characterization of a Deontic Logic of Regular Action

Jan Broersen, Roel Wieringa, John-Jules Meyer

    Research output: Contribution to journalArticleAcademicpeer-review

    10 Citations (Scopus)

    Abstract

    We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.
    Original languageEnglish
    Pages (from-to)107-128
    Number of pages22
    JournalFundamenta informaticae
    Volume48
    Issue number2-3
    Publication statusPublished - 2001

    Keywords

    • Free choice permission
    • Dynamic deontic logic
    • U-calculus
    • Finite automatons
    • Regular actions
    • Modal action logic
    • Ought-to-do norms

    Fingerprint Dive into the research topics of 'A Fixed-point Characterization of a Deontic Logic of Regular Action'. Together they form a unique fingerprint.

    Cite this