most citedCumulativity without closure of the domain under finite unions

1 citations · 1 across the 7 of their papers we have counts for

collaborators

7 papers

math.LO2008

Toolbox

Karl Schlechta

Contains various tools for preferential and related logics

math.LO2008

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.

math.LO2008★ 1 cited

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…

math.LO2008

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…

math.LO2008

Roadmap for preferential logics

Dov Gabbay, Karl Schlechta

We give an overview of logical and semantical rules for nonmonotonic and related logics.

math.LO2007

Factorization (Splitting)

Karl Schlechta

We show some elementary facts about the semantical analogue of Parikh's Splitting, which we call Factorization.