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