z-logo
open-access-imgOpen Access
A Comment on Work by Booth and Co-authors
Author(s) -
Dov M. Gabbay,
Karl Schlechta
Publication year - 2010
Publication title -
studia logica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.736
H-Index - 39
eISSN - 1572-8730
pISSN - 0039-3215
DOI - 10.1007/s11225-010-9237-7
Subject(s) - relation (database) , computational linguistics , mathematics , characterization (materials science) , computer science , work (physics) , mathematical economics , algebra over a field , discrete mathematics , calculus (dental) , artificial intelligence , pure mathematics , data mining , engineering , physics , medicine , dentistry , optics , mechanical engineering
Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, $${{\vartriangleleft}}$$, where $${{\vartriangleleft}}$$ is a sub-relation of < . They have, however, left open a characterization of the infinite case, which we treat here.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom