In this paper we present a tableau calculus for the rational logic R of default reasoning,
introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing …

The notion of bisimulation is an important concept in process algebra and modern modal
logic. This paper explores the notion of B-similarity, which is a kind of bisimulation between …

In nonmonotonic reasoning, a default conditional α→ β has most often been informally
interpreted as a defeasible version of a classical conditional, usually the material …

A logic of preference does not pertain to the formation of preferences, but rather to a pre-
established hierarchy of alternatives, ordered by some underlying relation. A wide variety of …

We prove some embedding theorems for classical conditional logic, covering 'finitely
cumulative'logics,'preferential'logics and what we call 'semi-monotonic'logics. Technical …

Weightlifting is one of the most physically demanding sports. A successful lift is influenced by
many factors. Among them, the ground reaction force (GRF) which is exerted on weight lifers …

In this paper we are interested in non-monotonic extensions of Bengt Hansson's standard
dyadic deontic logic 3, known as DSDL3. We study specificity principles for DSDL3 with both …

For nonmonotonic reasoning, a default conditional α→ β has most often been informally
interpreted as a defeasible version of a classical conditional, usually the material …