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