A Comment on Work by Booth and Co-authors

Dov M. Gabbay; Karl Schlechta

doi:10.1007/s11225-010-9237-7

A Comment on Work by Booth and Co-authors

Dov M. Gabbay
, Karl Schlechta

Department of Computer Science

King's College London
University of Luxembourg
CNRS

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

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, < and ◁, where < is the usual ranked relation, and ◁ is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here.

Original language	English
Pages (from-to)	403-432
Number of pages	30
Journal	Acta Mathematica Hungarica
Volume	129
Issue number	4
DOIs	https://doi.org/10.1007/s11225-010-9237-7
State	Published - Dec 2010

Keywords

Completeness Proofs
Non-monotonic Logic
Theory Revision

Access to Document

10.1007/s11225-010-9237-7

Cite this

@article{a89a39ceb38c48af84d84f8f2ac7c3d0,

title = "A Comment on Work by Booth and Co-authors",

abstract = "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, < and ◁, where < is the usual ranked relation, and ◁ is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here.",

keywords = "Completeness Proofs, Non-monotonic Logic, Theory Revision",

author = "Gabbay, \{Dov M.\} and Karl Schlechta",

year = "2010",

month = dec,

doi = "10.1007/s11225-010-9237-7",

language = "אנגלית",

volume = "129",

pages = "403--432",

journal = "Acta Mathematica Hungarica",

issn = "0236-5294",

number = "4",

}

TY - JOUR

T1 - A Comment on Work by Booth and Co-authors

AU - Gabbay, Dov M.

AU - Schlechta, Karl

PY - 2010/12

Y1 - 2010/12

N2 - 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, < and ◁, where < is the usual ranked relation, and ◁ is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here.

AB - 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, < and ◁, where < is the usual ranked relation, and ◁ is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here.

KW - Completeness Proofs

KW - Non-monotonic Logic

KW - Theory Revision

UR - https://www.scopus.com/pages/publications/78649795618

U2 - 10.1007/s11225-010-9237-7

DO - 10.1007/s11225-010-9237-7

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:78649795618

SN - 0236-5294

VL - 129

SP - 403

EP - 432

JO - Acta Mathematica Hungarica

JF - Acta Mathematica Hungarica

IS - 4

ER -

A Comment on Work by Booth and Co-authors

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this