A Theory of hierarchical consequence and conditionals

Dov M. Gabbay, Karl Schlechta

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall A-ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved.

Original languageEnglish
Pages (from-to)3-32
Number of pages30
JournalJournal of Logic, Language and Information
Volume19
Issue number1
DOIs
StatePublished - Jan 2010

Keywords

  • Contrary-to-duties
  • Deontic logic
  • Nonmonotonic logic
  • Preferential structures
  • Ranked structures
  • Representation results

Fingerprint

Dive into the research topics of 'A Theory of hierarchical consequence and conditionals'. Together they form a unique fingerprint.

Cite this