View Related Documents

Abstract

We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.

Keywords  Nonmonotonic logic - Preference orders - Modal logic

Fulltext Preview

Image of the first page of the fulltext document