Advanced search
1 file | 341.96 KB

Hierarchic adaptive logics

(2011) LOGIC JOURNAL OF THE IGPL. 20(1). p.45-72
Author
Organization
Abstract
This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for a subclass of them. Soundness and a restricted form of completeness are established with respect to a non-redundant semantics. It is shown that all hierarchic adaptive logics are reflexive, have the strong reassurance property and that a subclass of them is a fixed point for a broad class of premise sets. Finally, they are compared to a different yet related class of adaptive logics.
Keywords
prioritized belief bases, Combined adaptive logics

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 341.96 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Van De Putte, Frederik. 2011. “Hierarchic Adaptive Logics.” Logic Journal of the Igpl 20 (1): 45–72.
APA
Van De Putte, Frederik. (2011). Hierarchic adaptive logics. LOGIC JOURNAL OF THE IGPL, 20(1), 45–72.
Vancouver
1.
Van De Putte F. Hierarchic adaptive logics. LOGIC JOURNAL OF THE IGPL. 2011;20(1):45–72.
MLA
Van De Putte, Frederik. “Hierarchic Adaptive Logics.” LOGIC JOURNAL OF THE IGPL 20.1 (2011): 45–72. Print.
@article{1854795,
  abstract     = {This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for a subclass of them. Soundness and a restricted form of completeness are established with respect to a non-redundant semantics. It is shown that all hierarchic adaptive logics are reflexive, have the strong reassurance property and that a subclass of them is a fixed point for a broad class of premise sets. Finally, they are compared to a different yet related class of adaptive logics.},
  author       = {Van De Putte, Frederik},
  issn         = {1367-0751},
  journal      = {LOGIC JOURNAL OF THE IGPL},
  language     = {eng},
  number       = {1},
  pages        = {45--72},
  title        = {Hierarchic adaptive logics},
  url          = {http://dx.doi.org/10.1093/jigpal/jzr025},
  volume       = {20},
  year         = {2011},
}

Altmetric
View in Altmetric
Web of Science
Times cited: