We present an update operator and several of its properties. The semantics of our update operator is based on a concept called minimal generalized p-stable models which is based on a novel semantics called the p-stable semantics.

“From independence to dependence”: the head of Chapter IX in M. Lokve’s book [ 181 must be a program of any attempt to build a limit theory extending the classical one for sums of independent random variables. Lo&e himself suggested replacing dependent summands by their independent copies, but this could not bring much success. The next step in complication consists in dividing the sum into alm...

Currently non-monotonic reasoning (NMR) is a promising approach to model features of common sense reasoning. In order to formalize NMR the research community has applied monotonic logics. The present paper furthers the study of one of the semantics useful in this formalization called p-stable. We introduce three different formats for normal programs: Negative normal programs, Restricted negativ...

We de...ne a -stable equilibrium as an equilibrium that is the unique outcome compatible with common knowledge of rationality and common knowledge of-belief in the equilibrium (belief putting probability at least p on the equilibrium). 1-stability means Nash, 0-stability means a unique rationalizable outcome. We show that, in a large class of games, an equilibrium is -stable for some  1. T...