Go to content
UR Home

A semantic approach to nonmonotonic reasoning: Inference operations and choice

URN to cite this document:
DOI to cite this document:
Lindström, Sten
License: Creative Commons Attribution 4.0
PDF - Published Version
Date of publication of this fulltext: 24 Jun 2022 05:23

This publication is part of the DEAL contract with Wiley.


This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premisses. The semantics is formulated in terms of selection functions and is a generalisation of the preferential semantics of Shoham, Kraus et al., and Makinson. A selection function picks out from a given set of possible states (worlds, situations, models) a ...


Owner only: item control page
  1. Homepage UR

University Library

Publication Server


Publishing: oa@ur.de
0941 943 -4239 or -69394

Dissertations: dissertationen@ur.de
0941 943 -3904

Research data: datahub@ur.de
0941 943 -5707

Contact persons