A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
What Does Entailment for PTL Mean?
unpublished
We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propo-sitional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and characterized by a preferential semanticsàsemantics'semanticsà la KLM. In this paper we study different notions of entailment for PTL. We take as a starting point the notion of Rational Closure defined for KLM-style conditionals. We show that the additional
fatcat:26nytjdcofcvxmxy2pn6cjhzp4