A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and modal logics. We present two modal logics that can be used to represent and reason with qualitative statements of possibility and necessity. These logics have a natural semantics based on a qualitative abstraction of possibility distributions. Within thisdoi:10.1016/0888-613x(94)90015-9 fatcat:vyrmwctm4zglbeuuepljj3gek4