Vassar Scholarship

The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms from database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is...

The paper introduces a notion of a budget-constrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper proposes a new modal language for reasoning about such a...

The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a...

It is commonly believed that firms prefer layoffs to worksharing, in part, because layoffs economize on fringe benefit costs. We find that when labor markets are characterized by optimal implicit contracts, layoffs will never occur in equilibrium, regardless of the...

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of...

The traditional classroom presentation of international macroeconomic issues obscures the link between budget deficits, exchange rates, and the trade deficit. The article offers a simple supply and demand framework to clarify the role of budget deficits in creating trade deficits...

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong's axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong's axioms to a...

The article investigates an influence relation between two sets of agents in a social network. It proposes a logical system that captures propositional properties of this relation valid in all threshold models of social networks with the same structure. The...

Implicit contract models of labor market equilibrium under work sharing and layoffs are constructed to examine several common explanations for the observed market bias in favor of layoffs. We first establish the optimality of work sharing in the absence of...

Throughout the forty-year conflict over the Western Sahara, the United States has supported Morocco's occupation of the disputed territory. This overall policy has remained relatively consistent over time, yet constantly subjected to contestation. The debates over policy and various modes...

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes...

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by...

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists...