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

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	Studia Logica
Volume	94
Issue number	3
DOIs	https://doi.org/10.1007/s11225-010-9237-7
State	Published - 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",

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

language = "אנגלית",

volume = "94",

pages = "403--432",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

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

AU - Gabbay, Dov M.

AU - Schlechta, Karl

PY - 2010

Y1 - 2010

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 - http://www.scopus.com/inward/record.url?scp=78649767508&partnerID=8YFLogxK

U2 - 10.1007/s11225-010-9237-7

DO - 10.1007/s11225-010-9237-7

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

AN - SCOPUS:78649767508

SN - 0039-3215

VL - 94

SP - 403

EP - 432

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

A Comment on Work by Booth and Co-authors

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this