Sep, 2018
关于命题典型逻辑的理性蕴涵
On Rational Entailment for Propositional Typicality Logic
TL;DRPropositional Typicality Logic is a logic enriched with a typicality operator and studied in terms of ranked models like KLM approach; the semantics introduces non-monotonic features leading to the development of three different (semantic) versions of entailment based on different notions of minimality.