Author:Booth, R; Casini, G; Meyer, T; Varzinczak, IDate:Jul 2015Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator. In spite of the non-monotonic features introduced by the semantics adopted for the typicality ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IDate:Aug 2013We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IDate:Sep 2012We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ...Read more
Author:Booth, R; Casini, G; Meyer, T; Varzinczak, IDate:Mar 2015We 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 ...Read more