Equilibria und weiteres Heiteres II
Logic in Computer Science
2012-04-26 v6
Abstract
We investigate several technical and conceptual questions. Our main subject is the investigation of independence as a ternary relation in the context of non-monotonic logic. In the context of probability, this investigation was started by W.Spohn et al., and then followed by J.Pearl. We look at products of function sets, and thus continue our own investigation of independence in non-monotonic logic. We show that a finite characterization of this relation in our context is impossible, and indicate how to construct all valid rules.
Cite
@article{arxiv.1108.3033,
title = {Equilibria und weiteres Heiteres II},
author = {Dov Gabbay and Karl Schlechta},
journal= {arXiv preprint arXiv:1108.3033},
year = {2012}
}
Comments
arXiv admin note: incorporates entirety of text from arXiv:0907.4017