Sciweavers

Share
FLAIRS
2006

A Note on Comparing Semantics for Conditionals

10 years 5 months ago
A Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popular system-of-spheres semantics of Lewis, an ordinal semantics making use of rankings, and a possibilistic semantics. As a common framework for the corresponding logics, we will use institutions which provide formal rigidity based on category but leaves enough abstract freedom to formalize and compare quite different logics. We will show that the conditional semantics mentioned above are logically similar, yet each semantics allows semantical subtleties.
Christoph Beierle, Gabriele Kern-Isberner
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FLAIRS
Authors Christoph Beierle, Gabriele Kern-Isberner
Comments (0)
books