Revising Typical Beliefs: One Revision to Rule Them All

Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia

Abstract: Propositional Typicality Logic (PTL) extends propositional logic with a connective • expressing the most typical (alias normal or conventional) situations in which a given sentence holds. As such, ...