We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and characterized by a preferential semantics a 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 expressivity of PTL results in different versions of Rational Closure for PTL — versions that are equivalent with respect to the conditional language originally proposed by KLM.
Reference:
Booth, R, Casini, G, Meyer, T and Varzinczak, I. 2015. What does entailment for PTL mean? In: Twelfth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense-2015,) Stanford University, 23-25 March 2015
Booth, R., Casini, G., Meyer, T., & Varzinczak, I. (2015). What does entailment for PTL mean?. Commonsense Reasoning. http://hdl.handle.net/10204/8399
Booth, R, G Casini, T Meyer, and I Varzinczak. "What does entailment for PTL mean?." (2015): http://hdl.handle.net/10204/8399
Booth R, Casini G, Meyer T, Varzinczak I, What does entailment for PTL mean?; Commonsense Reasoning; 2015. http://hdl.handle.net/10204/8399 .
Twelfth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense-2015,) Stanford University, 23-25 March 2015. Due to copyright restrictions, the attached PDF file only contains the abstract of the full text item. For access to the full text item, please consult the publisher's website