Vassar College Digital Library

Vassar Scholarship

Vassar Scholarship, the institutional repository formerly known as Digital Window, reflects the research and scholarly output of the Vassar College community.  It provides access to a variety of collections, including senior theses and projects across a wide range of disciplines.

Everyone knows that someone knows: quantifiers over epistemic agents

Publication Date
2018-January-01
Document Type
Department or Program
Document Type
Abstract

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...

View

Information Flow under Budget Constraints

Publication Date
2018-February-26
Document Type
Department or Program
Document Type
Abstract

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...

View

Lighthouse principle for diffusion in social networks

Publication Date
2018-January-01
Document Type
Department or Program
Document Type
Abstract

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...

View