A note on logical description, observational orders and minimum models

D Rydeheard, JHD Sanchez, Andrei Voronkov (Editor), Margarita Korovina (Editor)

    Research output: Chapter in Book/Report/Conference proceedingChapter


    In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.
    Original languageEnglish
    Title of host publicationHOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
    Number of pages16
    Publication statusPublished - 12 Feb 2014


    Dive into the research topics of 'A note on logical description, observational orders and minimum models'. Together they form a unique fingerprint.

    Cite this