12,042 research outputs found

    Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations

    Full text link
    We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones. We offer analysis/simplification/repair of their system and compare it with our own related system

    Reactive preferential structures and nonmonotonic consequence

    Get PDF
    We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems

    Conditionals and modularity in general logics

    Full text link
    In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics
    • …
    corecore