We consider mechanism design in contexts in which agents exhibit bounded depth of reasoning (level k) instead of rational expectations. We use simple direct mechanisms, in which agents report only first-order beliefs. While level 0 agents are assumed to be truth tellers, level k agents best-respond to their belief that other agents have at most k− 1 levels of reasoning. We find that incentive c...

We discuss the theory of gerrymandering-proof voting rules. Our approach is axiomatic. We show that, for votes over a binary set of alternatives, any rule that is unanimous, anonymous, and gerrymandering-proof must decide a social outcome as a function of the proportions of agents voting for each alternative, and must either be independent of this proportion, or be in one-to-one correspondence ...

We discuss the justifications of Bayesianism by Cox and Jaynes, and relate them to a recent critique by Halpern(JAIR, vol 10(1999), pp 67–85). We show that a problem with Halperns example is that a finite and natural refinement of the model leads to inconsistencies, and that the same is the case with every model in which rescalability to probability cannot be done. We also discuss other problem...

in this paper, the definition of meet-continuity on $l$-directedcomplete posets (for short, $l$-dcpos) is introduced. as ageneralization of meet-continuity on crisp dcpos, meet-continuity on$l$-dcpos, based on the generalized scott topology, ischaracterized. in particular, it is shown that every continuous$l$-dcpo is meet-continuous and $l$-continuous retracts ofmeet-continuous $l$-dcpos are al...

We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming the so-called lax semantics for these logics, we relate these fragments of inclusion and independence logic to familiar sublogics of existential second-order logic. We also show tha...

In this article, I focus on defective conditionals, namely indicative conditionals whose antecedent is false and whose truth-value therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entai...

This paper studies the output tracking control of a class of sandwich-like systems with state-dependent deadzone nonlinearity between two cascaded subsystems (e.g., the gear transmission systems). An exact differentiator-based backstepping control for such a sandwich-like nonlinear system is proposed. The proposed controller utilizes the high-order sliding mode robust exact differentiator to co...

There are considerable difficulties in the way of the development of useful and reliable simulation models of social phenomena, including that any simulation necessarily includes many assumptions that are not directly supported by evidence. Despite these difficulties, many still hope to develop quite general models of social phenomena. This paper argues that such hopes are ill-founded, in other...