4 citations · 19 across the 27 of their papers we have counts for
7 papers · 1 filter
A semantics for obligations
Dov Gabbay, Karl Schlechta
We analyze a number of properties obligations have or should have.
Defeasible inheritance systems and reactive diagrams
Dov Gabbay, Karl Schlechta
We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams.
Logical tools for handling change in agent-based systems
Dov Gabbay, Karl Schlechta
We give a unified approach to various results and problems of nonclassical logics
Cumulativity without closure of the domain under finite unions
Dov Gabbay, Karl Schlechta
For nonmonotonic logics, Cumulativity is an important rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under fini…
Reactive preferential structures and nonmonotonic consequence
Dov Gabbay, Karl Schlechta
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 pr…
Roadmap for preferential logics
Dov Gabbay, Karl Schlechta
We give an overview of logical and semantical rules for nonmonotonic and related logics.